- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Livres écrits par Krzysztof R Apt
Tous les livres de Krzysztof R Apt
-
Verification of Sequential and Concurrent Programs
Krzysztof R Apt, Frank S De Boer, Ernst-Rüdiger Olderog
- Livre relié | Anglais | Texts in Computer Science
- HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The ap... Savoir plus
125,95 €Livraison 1 à 2 semaines125,95 €Livraison 1 à 2 semaines -
Edsger Wybe Dijkstra
Krzysztof R Apt, Tony Hoare
- Livre broché | Anglais | ACM Books
- Edsger Wybe Dijkstra (1930-2002) was one of the most influential researchers in the history of computer science, making fundamental contributions to b... Savoir plus
117,95 €Livraison 1 à 2 semaines117,95 €Livraison 1 à 2 semaines -
A Brief History of Mathematics for Curious Minds
Krzysztof R Apt
- Livre relié | Anglais
- This book offers a short and accessible account of the history of mathematics, written for the intelligent layman to gain a better appreciation of its... Savoir plus
103,95 €Livraison 2 à 3 semaines103,95 €Livraison 2 à 3 semaines -
Verification of Sequential and Concurrent Programs
Krzysztof R Apt, Frank S De Boer, Ernst-Rüdiger Olderog
- Livre broché | Anglais | Texts in Computer Science
- Part I: In the Beginning Introduction Preliminaries Part II: Deterministic Programs while Programs Recursive Programs Recursive Programs with Paramete... Savoir plus
76,95 €Livraison 1 à 2 semaines76,95 €Livraison 1 à 2 semaines -
A Brief History of Mathematics for Curious Minds
Krzysztof R Apt
- Livre broché | Anglais
- This book offers a short and accessible account of the history of mathematics, written for the intelligent layman to gain a better appreciation of its... Savoir plus
48,95 €Livraison 1 à 2 semaines48,95 €Livraison 1 à 2 semaines -
Programmverifikation
Krzysztof R Apt, Ernst-Rüdiger Olderog
- Livre broché | Allemand | -Lehrbuch
- Dieses Buch bietet als erstes Lehrbuch eine systematische Einf}hrung in die Programmverifikation. Sequentielle, parallele und verteilte Programme werd... Savoir plus
29,95 €Livraison sous 1 à 4 semaines29,95 €Livraison sous 1 à 4 semaines -
Edsger Wybe Dijkstra
Krzysztof R Apt, Tony Hoare
- Livre relié | Anglais | ACM Books
- Edsger Wybe Dijkstra (1930-2002) was one of the most influential researchers in the history of computer science, making fundamental contributions to b... Savoir plus
169,95 €Livraison 1 à 2 semaines169,95 €Livraison 1 à 2 semaines
7 sur 7 résultat(s) affiché(s)