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, Lecture Notes in Computer Science 2272
Didier Bert/Jonathan P Bowen/Martin C Henson et al
€53.49
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 16.01.2002
Umfang: xi, 541 S.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783540431664
Umbreit-Nr.: 1519200
