ZB 2000: Formal Specification and Development in Z and B First International Conference of B and Z Users York, UK, August 29 – September 2, 2000 Proceedings

Gespeichert in:
Hauptverfasser:
Goos, Gerhard, Hartmanis, Juris, Leeuwen, Jan
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Berlin, Heidelberg Springer Berlin Heidelberg Imprint: Springer 2000
Springer-Verlag Berlin Heidelberg 2000
ISBN:
9783540445258
ISSN:
0302-9743
Schlagworte:
Softwareentwicklung
Softwarespezifikation
Formale Spezifikationstechnik
Z Programmiersprache
B Programmiersprache
Computer science
Software engineering
Logic design
Bezugswerke:
Links: