TY - BOOK
AU - International Conference Formal Methods in Programming and Their Applications 1993 Nowosibirsk
AU - Bjoerner, Dines
TI - Formal methods in programming and their applications international conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993; proceedings
PB - Springer
SN - 354057316X
SN - 038757316X
KW - Programming (Electronic computers) Congresses
KW - Computer programs Specifications Congresses
KW - Formal languages Semantics Congresses
KW - Computer programming
KW - Formal methods (Computer science)
KW - Konferenzschrift 1993 Nowosibirsk
KW - Konferenzschrift 1993 Nowossibirsk
KW - Formale Spezifikationstechnik
KW - Spezifikationstechnik
PY - 1993
N2 - Literaturangaben
BT - Lecture notes in computer science ; 735
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation