Martin C. Henson – författare
Visar alla böcker från författaren Martin C. Henson. Handla med fri frakt och snabb leverans.
5 produkter
ZB 2002: Formal Specification and Development in Z and B
2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings
Av Didier Bert, Jonathan P. Bowen m. fl.
Häftad, 2002
552 kr
Lägg i varukorg
These proceedings record the papers presented at the second International Conference of B and Z Users (ZB2002), held on 23-25 January 2002 in the city of Grenoble in the heart of the French Alps. This conference built on the success of the rst con- rence in this series, ZB2000, held at the …
ZB 2002: Formal Specification and Development in Z and B
2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings
Av Ken Robinson, Martin C. Henson m. fl.
E-bok, 2003
734 kr
Lägg i varukorg
Logics of Specification Languages
Av Dines Bjørner, Martin C. Henson
Inbunden, 2007
1693 kr
Lägg i varukorg
By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language; the proof rules define a proof system. Specifications are expressions in the language, and reasoning over properties of these specifications is done within the …
Logics of Specification Languages
Av Martin C. Henson, Dines Bjorner
E-bok, 2007
2127 kr
Lägg i varukorg
By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language; the proof rules define a proof system. Specifications are expressions in the language, and reasoning over properties of these specifications is done within the …
Logics of Specification Languages
Av Dines Bjørner, Martin C. Henson
Häftad, 2010
1693 kr
Lägg i varukorg
By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language; the proof rules define a proof system. Specifications are expressions in the language, and reasoning over properties of these specifications is done within the …
