Concrete Semantics: With Isabelle / HOL - Tobias Nipkow - Książki - Springer International Publishing AG - 9783319105413 - 15 grudnia 2014
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Tobias Nipkow
Concrete Semantics: With Isabelle / HOL 2014 edition

Cena
zł 301,90

Zamówione z odległego magazynu

Przewidywana dostawa 9 - 19 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

Również dostępne jako:

Part II can be read even without familiarity with Isabelle’s proof language, all proofs are described in detail but informally. The book teaches the reader the art of precise logical reasoning and the practical use of a proof assistant as a surgical tool for formal proofs about computer science artefacts.

298 pages, 86 black & white illustrations, 1 colour illustrations, biography

Media Książki     Hardcover Book   (Książka z twardym grzbietem i okładką)
Wydane 15 grudnia 2014
ISBN13 9783319105413
Wydawcy Springer International Publishing AG
Strony 298
Wymiary 155 × 235 × 19 mm   ·   616 g
Język Angielski  

Więcej od Tobias Nipkow

Pokaż wszystko

Zobacz wszystko od Tobias Nipkow ( np. Paperback Book i Hardcover Book )