Vous voulez être sûr que vos cadeaux seront sous le sapin de Noël à temps? Nos magasins vous accueillent à bras ouverts. La plupart de nos magasins sont ouverts également les dimanches, vous pouvez vérifier les heures d'ouvertures sur notre site.
- 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
Vous voulez être sûr que vos cadeaux seront sous le sapin de Noël à temps? Nos magasins vous accueillent à bras ouverts. La plupart de nos magasins sont ouverts également les dimanches, vous pouvez vérifier les heures d'ouvertures sur notre site.
- Retrait gratuit dans votre magasin Club
- 7.000.0000 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 -
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 -
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
137,45 €Livraison 2 à 3 semaines137,45 €Livraison 2 à 3 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
- 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
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
58,45 €Livraison 2 à 3 semaines58,45 €Livraison 2 à 3 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
176,45 €Livraison 2 à 3 semaines176,45 €Livraison 2 à 3 semaines
8 sur 8 résultat(s) affiché(s)