TU Darmstadt / ULB / TUbiblio

A Hoare-Style Calculus with Explicit State Updates

Bubel, Richard ; Hähnle, Reiner
Instenes, Zoltán (ed.) :

A Hoare-Style Calculus with Explicit State Updates.
In: Electronic Notes in Theoretical Computer Science . Elsevier
[ Konferenzveröffentlichung] , (2008)

Typ des Eintrags: Konferenzveröffentlichung ( nicht bekannt)
Erschienen: 2008
Herausgeber: Instenes, Zoltán
Autor(en): Bubel, Richard ; Hähnle, Reiner
Titel: A Hoare-Style Calculus with Explicit State Updates
Sprache: Deutsch
Buchtitel: Proc. Formal Methods in Computer Science Education (FORMED)
Reihe: Electronic Notes in Theoretical Computer Science
Verlag: Elsevier
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik > Software Engineering
20 Fachbereich Informatik
Hinterlegungsdatum: 31 Dez 2016 10:40
ID-Nummer: HaehnleBubel08
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen