phone +385 21 784 0072
LIBRISTO 0
Besplatna dostava Overseas kurirskom službom iznad 59.99 €
Overseas 4.99 € Pošta 4.99 € DPD 5.99 € GLS 3.99 € GLS paketomat 3.49 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

Isabelle

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Isabelle Lawrence C. Paulson
Libristo kod: 02780943
Nakladnici Springer, Berlin, studeni 1993
An introduction to Isabelle, a genetic theorem prover which supports a variety of logics. The volume... Cijeli opis
? points 154 b
61.28 €
Vanjske zalihe u manjem broju Šaljemo za 13-16 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

TOP
Healing Code Alexander Loyd / Meki uvez
common.buy 16.09 €
Alice's Adventures in Wonderland colouring book John Tenniel / Meki uvez
common.buy 13.98 €
Nevěrná Vladimír Kavčiak / Tvrdi uvez
common.buy 7.24 €
Odvaha za úsvitu Helen Lawsonová / Meki uvez
common.buy 3.41 €
Špaky v tŕní Zuzana Cigánová / Tvrdi uvez
common.buy 5.42 €
Protection of Electronic Circuits R Standler / Meki uvez
common.buy 24.04 €
Minus Drei und der Zahlensalat Ute Krause / Tvrdi uvez
common.buy 9.05 €
Account Of The Remarkable Occurrences In The Life And Travels Of Col. James Smith W. M. Darlington / Meki uvez
common.buy 29.68 €
Non-Archimedean Tame Topology and Stably Dominated Types (AM-192) Ehud Hrushovski / Meki uvez
common.buy 89.56 €
Natural Hazard Mitigation Policy Daniel J. Alesch / Meki uvez
common.buy 120.75 €
Modeling by Object-Driven Linear Elemental Relations H.J. Greenberg / Meki uvez
common.buy 185.76 €
Geschichtspolitik in Der "berliner Republik" Manuel Becker / Meki uvez
common.buy 82.91 €
Rechtsschutz gegen nicht zur Rechtsetzung gehörende Akte der Legislative. Hubert Schmelter / Meki uvez
common.buy 49.91 €
Appeasement in International Politics StephenR Rock / Tvrdi uvez
common.buy 41.96 €
Managing Service Productivity Ali Emrouznejad / Tvrdi uvez
common.buy 185.76 €
Millions Frank Cottrell Boyce / Meki uvez
common.buy 12.27 €

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.

Informacije o knjizi

Puni naziv Isabelle
Autor Lawrence C. Paulson, Tobias Nipkow
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1994
Broj stranica 329
EAN 9783540582441
ISBN 3540582444
Libristo kod 02780943
Nakladnici Springer, Berlin
Težina 535
Dimenzije 156 x 234 x 18

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun