Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: Wolfram and Menzel
Treffer 5 von 6
|
|
| Link zu diesem Datensatz | https://d-nb.info/1113940832 |
| Titel | The KeY tool : Integrating object oriented design and formal verification / by Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt |
| Person(en) |
Ahrendt, Wolfgang (Verfasser) Baar, Thomas (Sonstige) Beckert, Bernhard (Sonstige) Bubel, Richard (Sonstige) Giese, Martin (Sonstige) Hähnle, Reiner (Sonstige) Menzel, Wolfram (Sonstige) Mostowski, Wojciech (Sonstige) Roth, Andreas (Sonstige) Schlager, Steffen (Sonstige) Schmitt, Peter H. (Sonstige) |
| Organisation(en) | SpringerLink (Online service) (Sonstige) |
| Umfang/Format | Online-Ressource : online resource. |
| Persistent Identifier |
URN: urn:nbn:de:1111-201609172720 DOI: 10.1007/s10270-004-0058-x |
| URL | http://dx.doi.org/10.1007/s10270-004-0058-x |
| Zeitliche Einordnung | Erscheinungsdatum: 2004 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Enthalten in: Software and systems modeling (Bd. 4, 1.2.2005, Nr. 1, date:2.2005: 32-54) |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 5 von 6
Administration
