Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

24. Dezember 2025 bis 1. Januar 2026: Die Deutsche Nationalbibliothek bleibt an beiden Standorten geschlossen. Bestellte Medien werden am 2. Januar 2026 bereitgestellt. // 24 December 2025 to 1 January 2026: The German National Library will be closed at both locations. Ordered media will be made available on 2 January 2026.

Ergebnis der Suche nach: Wolfram and Menzel

Zurück zur Trefferliste

Treffer 20 von 22


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 20 von 22

Aktionen

MARC21-XML-Repräsentation dieses Datensatzes

Korrekturanfrage

Administration