didier bert
ZB 2003: Formal Specification and Development in Z and B
EbookSofort lieferbarThe refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in...
Recent Trends in Algebraic Development Techniques
EbookSofort lieferbarThis book constitutes the thoroughly refereed post-workshop proceedings of the 14th International...
ZB 2002: Formal Specification and Development in Z and B
EbookSofort lieferbarThis book constitutes the refereed proceedings of the Second International Conference of B and Z ...
Recent Trends in Algebraic Development Techniques
TaschenbuchBezug 11-15The algebraic approach to system speci?cation and development, born in the 1970sas a formalmethod...
ZB 2002: Formal Specification and Development in Z and B
TaschenbuchBezug 11-15These proceedings record the papers presented at the second International Conference of B and Z U...
ZB 2003: Formal Specification and Development in Z and B
TaschenbuchBezug 11-15The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held...
B’98: Recent Advances in the Development and Use of the B Method
TaschenbuchBezug 16-20This book presents the refereed proceedings of the Second International B Conference, B'98, held ...
- 1