Advances in Formal Methods – serie
Visar alla böcker i serien Advances in Formal Methods. Handla med fri frakt och snabb leverans.
6 produkter
Software Engineering with OBJ
Algebraic Specification in Action
Av Joseph A. Goguen, Grant Malcolm
Inbunden, 2000
2253 kr
Lägg i varukorg
Software Engineering with OBJ: Algebraic Specification in Action is a comprehensive introduction to OBJ, the most widely used algebraic specification system. As a formal specification language, OBJ makes specifications and designs more precise and easier to read, as well as making maintenance …
Computer-Aided Reasoning
ACL2 Case Studies
Av Matt Kaufmann, Panagiotis Manolios m. fl.
Inbunden, 2000
2253 kr
Lägg i varukorg
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. Included here are technical papers written by twenty-one contributors that report on …
Object-Z Specification Language
Av Graeme Smith
Inbunden, 1999
2253 kr
Lägg i varukorg
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. By extending Z's semantic basis, it enables the specification of systems as collections of independent objects in which self and mutual …
Software Engineering with OBJ
Algebraic Specification in Action
Av Joseph A. Goguen, Grant Malcolm
Häftad, 2010
2253 kr
Lägg i varukorg
Software Engineering with OBJ: Algebraic Specification in Action is a comprehensive introduction to OBJ, the most widely used algebraic specification system. As a formal specification language, OBJ makes specifications and designs more precise and easier to read, as well as making maintenance …
Computer-Aided Reasoning
ACL2 Case Studies
Av Matt Kaufmann, Panagiotis Manolios m. fl.
Häftad, 2010
2253 kr
Lägg i varukorg
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. Included here are technical papers written by twenty-one contributors that report on …
Object-Z Specification Language
Av Graeme Smith
Häftad, 2012
2253 kr
Lägg i varukorg
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. By extending Z's semantic basis, it enables the specification of systems as collections of independent objects in which self and mutual …
