TY - GEN
AU - Abrial, Jean-Raymond
AU - Glässer, Uwe
TI - Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
PB - Springer Berlin Heidelberg
SN - 9783642114472
KW - Information theory
KW - Computer software
KW - Electronic data processing
KW - Computer science
KW - Algorithms
KW - Computer Science
KW - Computer programming.
KW - Machine theory.
KW - Artificial intelligence.
KW - Aufsatzsammlung
KW - Software Engineering
KW - Programmierung
KW - Formale Methode
KW - Softwarespezifikation
KW - Systemanalyse
PY - 2009
BT - Lecture Notes in Computer Science ; 5115
BT - SpringerLink ; Bücher
CY - Berlin, Heidelberg
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation