- 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
-
Constraint Logic Programming Using Eclipse
Krzysztof R Apt, Mark Wallace
- Livre relié | Anglais
- Constraint logic programming lies at the intersection of logic programming, optimisation and artificial intelligence. It has proved a successful tool ... Savoir plus
95,95 €Livraison 1 à 2 semaines95,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 -
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
132,95 €Livraison 1 à 2 semaines132,95 €Livraison 1 à 2 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
81,45 €Livraison 1 à 2 semaines81,45 €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 -
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 -
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
51,95 €Livraison 1 à 2 semaines51,95 €Livraison 1 à 2 semaines
8 sur 8 résultat(s) affiché(s)