- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Boeken geschreven door Krzysztof R Apt
-
Verification of Sequential and Concurrent Programs
Krzysztof R Apt, Frank S De Boer, Ernst-Rüdiger Olderog
- Hardcover | Engels | 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... Lees meer
€ 125,95Levering 1 à 2 weken€ 125,95Levering 1 à 2 weken -
Edsger Wybe Dijkstra
Krzysztof R Apt, Tony Hoare
- Paperback | Engels | 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... Lees meer
€ 137,45Levering 2 à 3 weken€ 137,45Levering 2 à 3 weken -
A Brief History of Mathematics for Curious Minds
Krzysztof R Apt
- Hardcover | Engels
- 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... Lees meer
€ 103,95Levering 2 à 3 weken€ 103,95Levering 2 à 3 weken -
Verification of Sequential and Concurrent Programs
Krzysztof R Apt, Frank S De Boer, Ernst-Rüdiger Olderog
- Paperback | Engels | 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... Lees meer
€ 76,95Levering 1 à 2 weken€ 76,95Levering 1 à 2 weken -
A Brief History of Mathematics for Curious Minds
Krzysztof R Apt
- Paperback | Engels
- 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... Lees meer
€ 58,45Levering 2 à 3 weken€ 58,45Levering 2 à 3 weken -
Programmverifikation
Krzysztof R Apt, Ernst-Rüdiger Olderog
- Paperback | Duits | -Lehrbuch
- Dieses Buch bietet als erstes Lehrbuch eine systematische Einf}hrung in die Programmverifikation. Sequentielle, parallele und verteilte Programme werd... Lees meer
€ 29,95Levertermijn 1 à 4 weken€ 29,95Levertermijn 1 à 4 weken -
Edsger Wybe Dijkstra
Krzysztof R Apt, Tony Hoare
- Hardcover | Engels | 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... Lees meer
€ 176,45Levering 2 à 3 weken€ 176,45Levering 2 à 3 weken
7 van 7 resultaten getoond