Door een staking bij bpost kan je online bestelling op dit moment iets langer onderweg zijn dan voorzien. Dringend iets nodig? Onze winkels ontvangen jou met open armen!
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Door een staking bij bpost kan je online bestelling op dit moment iets langer onderweg zijn dan voorzien. Dringend iets nodig? Onze winkels ontvangen jou met open armen!
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Resultaten voor "Zohar Manna"
-
Temporal Verification of Reactive Systems
Zohar Manna, Amir Pnueli
- Hardcover | Engels
- This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as ... Lees meer
€ 167,95Levering 2 à 3 weken€ 167,95Levering 2 à 3 weken -
The Temporal Logic of Reactive and Concurrent Systems
Zohar Manna, Amir Pnueli
- Hardcover | Engels
- Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. ... Lees meer
€ 183,45Levering 2 à 3 weken€ 183,45Levering 2 à 3 weken -
Lectures on the Logic of Computer Programming
Zohar Manna
- Paperback | Engels | Cbms-Nsf Regional Conference Applied Mathematics | nr. 31
- This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic. The author focuses on p... Lees meer
€ 40,95Levering 1 à 2 weken€ 40,95Levering 1 à 2 weken -
The Calculus of Computation
Aaron R Bradley, Zohar Manna
- Paperback | Engels
- Computational logic is a fast-growing field. Written with graduate and advanced undergraduate students in mind, this textbook introduces computational... Lees meer
€ 52,95Levertermijn 1 à 4 weken€ 52,95Levertermijn 1 à 4 weken -
The Calculus of Computation
Aaron R Bradley, Zohar Manna
- Hardcover | Engels
- Computational logic is a fast-growing field. Written with graduate and advanced undergraduate students in mind, this textbook introduces computational... Lees meer
€ 73,95Levertermijn 1 à 4 weken€ 73,95Levertermijn 1 à 4 weken -
The Temporal Logic of Reactive and Concurrent Systems
Zohar Manna, Amir Pnueli
- Paperback | Engels
- Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. ... Lees meer
€ 83,95Levering 2 à 3 weken€ 83,95Levering 2 à 3 weken -
Temporal Verification of Reactive Systems
Zohar Manna, Amir Pnueli
- Paperback | Engels
- This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as ... Lees meer
€ 139,95Levering 1 à 2 weken€ 139,95Levering 1 à 2 weken
7 van 7 resultaten getoond