Title |
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. |
|---|---|
Involved |
Bernd Krieg-Brückner (Herausgeber) |
Published |
Bremen: Univ., Fachbereich Mathematik und Informatik |
Topic |
|
Further information |
Literaturangaben. - Beitr. teilw. dt., teilw. engl. |
Record ID |
944886906 |
Please note
The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link: