phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 299 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 64 Kč Zásilkovna 44 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Isabelle

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Isabelle Lawrence C. Paulson
Libristo kód: 02780943
Nakladatelství Springer, Berlin, listopadu 1993
An introduction to Isabelle, a genetic theorem prover which supports a variety of logics. The volume... Celý popis
? points 154 b
1 542 Kč
Skladem u dodavatele v malém množství Odesíláme za 10-15 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Alice's Adventures in Wonderland colouring book John Tenniel / Brožovaná
common.buy 309 Kč
Healing Code Alexander Loyd / Brožovaná
common.buy 371 Kč
Nevěrná Vladimír Kavčiak / Pevná
common.buy 176 Kč
Odvaha za úsvitu Helen Lawsonová / Brožovaná
common.buy 83 Kč
Špaky v tŕní Zuzana Cigánová / Pevná
common.buy 128 Kč
Protection of Electronic Circuits R Standler / Brožovaná
common.buy 605 Kč
Non-Archimedean Tame Topology and Stably Dominated Types (AM-192) Ehud Hrushovski / Brožovaná
common.buy 2 416 Kč
Natural Hazard Mitigation Policy Daniel J. Alesch / Brožovaná
common.buy 3 039 Kč
Minus Drei und der Zahlensalat Ute Krause / Pevná
common.buy 229 Kč
Account Of The Remarkable Occurrences In The Life And Travels Of Col. James Smith W. M. Darlington / Brožovaná
common.buy 746 Kč
Modeling by Object-Driven Linear Elemental Relations H.J. Greenberg / Brožovaná
common.buy 4 673 Kč
Rechtsschutz gegen nicht zur Rechtsetzung gehörende Akte der Legislative. Hubert Schmelter / Brožovaná
common.buy 1 255 Kč
Geschichtspolitik in Der "berliner Republik" Manuel Becker / Brožovaná
common.buy 2 087 Kč
Primary Bone Tumors and Tumorous Conditions in Children Claus-Peter Adler / Brožovaná
common.buy 2 726 Kč
Managing Service Productivity Ali Emrouznejad / Pevná
common.buy 4 673 Kč
Innovationsfinanzierung durch Venture Capital Arno Nonnen / Brožovaná
common.buy 1 851 Kč

An introduction to Isabelle, a genetic theorem prover which supports a variety of logics. The volume outlines theoretical aspects and then demonstrates Isabelle's use in practice. All functions are described, and advice is given on correct usage.

Informace o knize

Plný název Isabelle
Autor Lawrence C. Paulson, Tobias Nipkow
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1994
Počet stran 329
EAN 9783540582441
ISBN 3540582444
Libristo kód 02780943
Nakladatelství Springer, Berlin
Váha 535
Rozměry 156 x 234 x 18

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Matematika a věda > Matematika > Matematické základy > Matematická logika
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Informatika > Umělá inteligence
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet