Normale Ansicht MARC ISBD

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 ZB 2002, International Conference of B and Z Users ZB 2002. Didier Bert ... (ed.) - XII, 534 S. graph. Darst. 24 cm - Lecture notes in computer science 2272 . - 227200 . - Lecture notes in computer science 2272 .

Literaturangaben

Bert, Didier: ZB 2002:Formal Specification and Development in Z and B

ISBN: 3540431667

Standard No.: 9783540431664

Nat. Bib. No.: 02,N03,0454 dnb 02,A11,0722 dnb

Nat. Bib. Agency Control No.: 963437429 DE-101

Subjects--Topical Terms:
B (Computer program language)--Congresses
Z (Computer program language)--Congresses
B (Computer program language)--Congresses
Z (Computer program language)--Congresses

Subjects--Index Terms:

Index Terms--Genre/Form:
Konferenzschrift--Grenoble--2002