TU Darmstadt / ULB / TUbiblio

A machine-verified code generator

Walther, Christoph ; Schweitzer, Stephan:
A machine-verified code generator.
Techn. Univ., Fachgebiet Programmiermethodik, Darmstadt
[Buch], (2003)

Typ des Eintrags: Buch
Erschienen: 2003
Autor(en): Walther, Christoph ; Schweitzer, Stephan
Titel: A machine-verified code generator
Sprache: Deutsch
Band: 03-01
Ort: Darmstadt
Verlag: Techn. Univ., Fachgebiet Programmiermethodik
Kollation: 23 S.
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Fachbereich Informatik > Programmiermethodik
Hinterlegungsdatum: 20 Nov 2008 08:18
Zusätzliche Informationen:

Ebenfalls ersch. in: Logic for programming, artificial intelligence, and reasoning : 10th international conference, Almaty, Kazakhstan, September 22 - 26, 2003 ; proceedings / LPAR 2003. Moshe Y. Vardi ... (eds.)- Berlin [u.a.] : Springer, 2003.- XIII, 436 S.- (Lecture notes in computer science ; 2850 : Lecture notes in artificial intelligence)

Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen