TY - GEN
AU - Schmalz, Matthias
TI - The logic of event-B
PB - ETH, Department of Computer Science
KW - SEMANTICS OF PROGRAMMING LANGUAGES + SYNTAX OF PROGRAMMING LANGUAGES
KW - computer science
KW - SPEZIFIKATIONSSPRACHEN (COMPUTERSYSTEME)
KW - Data processing
KW - SPECIFICATION LANGUAGES (COMPUTER SYSTEMS)
KW - SEMANTIK VON PROGRAMMIERSPRACHEN + SYNTAX VON PROGRAMMIERSPRACHEN
PY - 2011
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
BT - Technical Report / ETH Zurich, Department of Computer Science, 698
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation