Filteren
1
Sorteren
6 resultaten
Serie: Advances in formal methods
gebondenEngels9780792386841
31-12-1999
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 polymorphism. Meer
gebondenEngels9780792377573
30-4-2000
Software Engineering with OBJ: Algebraic Specification in Action is a comprehensive introduction to OBJ, the most widely used algebraic specification system. Meer
gebondenEngels9780792378495
30-6-2000
Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software systems. Meer
paperbackEngels9781441949813
8-12-2010
Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software systems. Meer
paperbackEngels9781441949653
7-12-2010
Software Engineering with OBJ: Algebraic Specification in Action is a comprehensive introduction to OBJ, the most widely used algebraic specification system. Meer
paperbackEngels9781461374015
2-11-2012
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 polymorphism. Meer