TY - BOOK
AU - Potter, Ben
AU - Sinclair, Jane
AU - Till, David
TI - An introduction to formal specification and Z
ET - 2. ed., [Nachdr.]
PB - Prentice Hall
SN - 0132422077
KW - Computer software
KW - Development
KW - Z (Computer program language)
KW - Z Programmiersprache
PY - 1997
N2 - Literaturverz. S. 414-418
BT - Prentice Hall international series in computer science
CY - London [u.a.]
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation