Format:
IX, 433 S.
,
graph. Darst.
ISBN:
354057316X
,
038757316X
Series Statement:
Lecture notes in computer science 735
Note:
Literaturangaben
Additional Edition:
Erscheint auch als Online-Ausgabe Bjorner, Dines Formal Methods in Programming and Their Applications Berlin, Heidelberg : Springer Berlin Heidelberg, 1993 ISBN 9783540480563
Additional Edition:
Erscheint auch als Online-Ausgabe Formal methods in programming and their applications Berlin [u.a.] : Springer, 1993 ISBN 9783540480563
Language:
English
Subjects:
Computer Science
Keywords:
Formale Spezifikationstechnik
;
Formale Spezifikationstechnik
;
Spezifikationstechnik
;
Konferenzschrift
;
Konferenzschrift
Bookmarklink