- 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 Dexter Kozen
-
Dynamic Logic
David Harel, Dexter Kozen, Jerzy Tiuryn
- Paperback | Engels | Foundations of Computing
- This book provides the first comprehensive introduction to Dynamic Logic. Among the many approaches to formal reasoning about programs, Dynamic Logic ... Lees meer
€ 101,95Levering 2 à 3 weken€ 101,95Levering 2 à 3 weken
1 van 1 resultaten getoond