- 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
Resultaten voor "Zachary Tatlock"
-
Qed at Large
Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric, Zachary Tatlock
- Paperback | Engels | Foundations and Trends(r) in Programming Languages | nr. 13
- Development of formal proofs of correctness of programs can increase actual and perceived reliability and facilitate better understanding of program s... Lees meer
€ 129,95Levering 1 à 2 weken€ 129,95Levering 1 à 2 weken
1 van 1 resultaten getoond