Titel |
Programmentwicklung durch Spezifikation und Transformation : Bremer Beiträge zum Verbundprojekt KORSO (Korrekte Software) / Universität Bremen ; [Universität Bremen, Fachbereich Mathematik und Informatik]. Bernd Krieg-Brückner, Hrsg. |
|---|---|
Beteiligt |
Bernd Krieg-Brückner (Herausgeber) |
Erschienen |
Bremen: Univ., Fachbereich Mathematik und Informatik |
Themengebiet |
|
Weitere Angaben |
Literaturangaben. - Beitr. teilw. dt., teilw. engl. |
Datensatz-ID |
944886906 |
Hinweis
Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link: