Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

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

Ergebnis der Suche nach: "122239318"
im Bestand: Gesamter Bestand

11 - 20 von 27

	11	Formal Methods: State of the Art and New Directions London : Springer London, 2010
	12	An Approach to the Specification and Verification of a Hardware Compilation Scheme Enthalten in The journal of supercomputing Bd. 19, Nr. 1, date:5.2001: 23-39
	13	Formal specification and development in Z and B Berlin : Springer, 2000
	14	Formal specification and development in Z and B Berlin : Springer, 2000
	15	High-Integrity System Specification and Design London : Springer London, 1999
	16	High integrity system specification and design London : Springer, 1999
	17	The Z formal specification notation Berlin : Springer, 1998
	18	The Z formal specification notation Berlin : Springer, c 1998
	19	The Z formal specification notation Berlin : Springer, 1997
	20	The Z-formal specification notation Berlin : Springer, 1995

11 - 20 von 27

Alle Materialarten

Alle Kataloge/Sammlungen

Teilbestand nach VGG (3)

Alle Standorte > Leipzig (27)

Aktionen