Title |
A method for the development of correct software / Peter Pepper, Martin Wirsing, Ralph Betschko, Manfred Broy, Sabine Dick, Klaus Didrich, Joachim Faulhaber, Wolfgang Grieskamp, Heinrich Hußmann, Michael Mehlich, Wolfgang Reif, Martin Beyer, Stefan Gastinger, Maritta Heisel, Friedrich von Henke, Liu Junbo, Bernd Krieg-Brückner, Thomas Santen, Gerhard Schellhorn, Oscar Slotosch, Kurt Stenzel, Martin Strecker, Nikolas Vlachantonis, Burkhart Wolff ; Herausgeber: Manfred Broy, Stefan Jähnichen |
|---|---|
Involved |
Peter Pepper (Verfasser)
Martin Wirsing (Verfasser) Ralph Betschko (Verfasser) Manfred Broy (Verfasser)
Sabine Dick (Verfasser)
Klaus Didrich (Verfasser) Joachim Faulhaber (Verfasser) Wolfgang Grieskamp (Verfasser) Heinrich Hußmann (Verfasser) Michael Mehlich (Verfasser) Wolfgang Reif (Verfasser) Martin Beyer (Verfasser) Stefan Gastinger (Verfasser) Maritta Heisel (Verfasser) Friedrich von Henke (Verfasser) Liu Junbo (Verfasser) Bernd Krieg-Brückner (Verfasser) Thomas Santen (Verfasser) Gerhard Schellhorn (Verfasser) Oscar Slotosch (Verfasser) Kurt Stenzel (Verfasser) Martin Strecker (Verfasser) Nikolas Vlachantonis (Verfasser) Burkhart Wolff (Verfasser) Manfred Broy (Herausgeber) Stefan Jähnichen (Herausgeber) |
Published |
Augsburg: Universität Augsburg |
Extent |
Online-Ressource |
Language |
|
Country |
|
Topic |
|
DDC notation |
|
Series |
Lecture Notes in Computer Science ; 1009 |
Persistent identifier |
urn:nbn:de:bvb:384-opus4-607614 (URN) |
Further information |
In: KORSO: methods, languages, and tools for the construction of correct software; final report, S. 25-57 |
Record ID |
1382397917 |
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: