KIT | KIT-Bibliothek | Impressum | Datenschutz

Numeric types in formal synthesis

Sabelfeld, Viktor; Kapp, Kai


Originalveröffentlichung
DOI: 10.1007/978-3-540-39866-0_10
Zugehörige Institution(en) am KIT Institut für Technische Informatik (ITEC)
Publikationstyp Buchaufsatz
Publikationsjahr 2004
Sprache Englisch
Identifikator ISBN: 978-3-540-39866-0
ISSN: 0302-9743, 1611-3349
KITopen-ID: 1000095400
Erschienen in Perspectives of System Informatics. Ed.: M. Broy
Verlag Springer-Verlag
Seiten 79–90
Serie Lecture notes in computer science ; 2890
Nachgewiesen in Dimensions
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page