phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł Poczta Polska 18.99 zł ORLEN Paczka 10.99 zł
phone Kontakt phoneJak kupować

Isabelle

Język AngielskiAngielski
Książka Miękka
Książka Isabelle Lawrence C. Paulson
Kod Libristo: 02780943
Wydawnictwo Springer, Berlin, listopad 1993
An introduction to Isabelle, a genetic theorem prover which supports a variety of logics. The volume... Cały opis
? points 154 b
261.85 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

TOP
Healing Code Alexander Loyd / Miękka
common.buy 64.66 zł
Alice's Adventures in Wonderland colouring book John Tenniel / Miękka
common.buy 55.98 zł
Nevěrná Vladimír Kavčiak / Twarda
common.buy 30.93 zł
Odvaha za úsvitu Helen Lawsonová / Miękka
common.buy 14.66 zł
Špaky v tŕní Zuzana Cigánová / Twarda
common.buy 23.24 zł
Protection of Electronic Circuits R Standler / Miękka
common.buy 102.68 zł
Non-Archimedean Tame Topology and Stably Dominated Types (AM-192) Ehud Hrushovski / Miękka
common.buy 383.01 zł
Natural Hazard Mitigation Policy Daniel J. Alesch / Miękka
common.buy 516.53 zł
Account Of The Remarkable Occurrences In The Life And Travels Of Col. James Smith W. M. Darlington / Miękka
common.buy 126.83 zł
Minus Drei und der Zahlensalat Ute Krause / Twarda
common.buy 36.71 zł
Modeling by Object-Driven Linear Elemental Relations H.J. Greenberg / Miękka
common.buy 794.37 zł
Geschichtspolitik in Der "berliner Republik" Manuel Becker / Miękka
common.buy 354.56 zł
Rechtsschutz gegen nicht zur Rechtsetzung gehörende Akte der Legislative. Hubert Schmelter / Miękka
common.buy 202.18 zł
Appeasement in International Politics StephenR Rock / Twarda
common.buy 179.42 zł
Managing Service Productivity Ali Emrouznejad / Twarda
common.buy 794.37 zł
Writer's Task from Nietzsche to Brecht Hans Reiss / Miękka
common.buy 261.85 zł

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.

Informacje o książce

Pełna nazwa Isabelle
Autor Lawrence C. Paulson, Tobias Nipkow
Język Angielski
Oprawa Książka - Miękka
Data wydania 1994
Liczba stron 329
EAN 9783540582441
ISBN 3540582444
Kod Libristo 02780943
Wydawnictwo Springer, Berlin
Waga 535
Wymiary 156 x 234 x 18

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo