TY - BOOK
AU - ZB 1 2000 York
AU - Bowen, Jonathan P.
TI - ZB 2000: formal specification and development in Z and B proceedings
PB - Springer
SN - 3540679448
KW - B (Computer program language) Congresses
KW - Z (Computer program language) Congresses
KW - Konferenzschrift 2000 York
KW - Softwareentwicklung
KW - Softwarespezifikation
KW - Formale Spezifikationstechnik
KW - Z Programmiersprache
KW - B Programmiersprache
PY - 2000
N2 - Includes bibliographical references and index
BT - Lecture notes in computer science ; 1878
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation