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
Reeksen: boeken uit de reeks Advances in Formal Methods
-
Computer-Aided Reasoning
- Paperback | Engels | Advances in Formal Methods | nr. 4
- Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to ... Lees meer
€ 335,95Levering 2 à 3 weken€ 335,95Levering 2 à 3 weken -
Computer-Aided Reasoning
- Hardcover | Engels | Advances in Formal Methods | nr. 4
- Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to ... Lees meer
€ 349,45Levering 1 à 2 weken€ 349,45Levering 1 à 2 weken -
Software Engineering with Obj
- Hardcover | Engels | Advances in Formal Methods | nr. 2
- Software Engineering with OBJ: Algebraic Specification in Action is a comprehensive introduction to OBJ, the most widely used algebraic specification ... Lees meer
€ 335,95Levering 2 à 3 weken€ 335,95Levering 2 à 3 weken -
The Object-Z Specification Language
Graeme Smith
- Hardcover | Engels | Advances in Formal Methods | nr. 1
- Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and poly... Lees meer
€ 335,95Levering 2 à 3 weken€ 335,95Levering 2 à 3 weken -
Software Engineering with Obj
- Paperback | Engels | Advances in Formal Methods | nr. 2
- Software Engineering with OBJ: Algebraic Specification in Action is a comprehensive introduction to OBJ, the most widely used algebraic specification ... Lees meer
€ 335,95Levering 2 à 3 weken€ 335,95Levering 2 à 3 weken -
The Object-Z Specification Language
Graeme Smith
- Paperback | Engels | Advances in Formal Methods | nr. 1
- Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and poly... Lees meer
€ 335,95Levering 2 à 3 weken€ 335,95Levering 2 à 3 weken
6 van 6 resultaten getoond