Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Aktuell erscheint zeitweise die Meldung „Too Many Requests“. Wir arbeiten daran, das Probleme zu beheben. Wir bitten Sie die Störung zu entschuldigen.

Die Deutsche Nationalbibliothek ist am Donnerstag, 14. Mai 2026 an beiden Standorten geschlossen. // The German National Library will be closed on Thursday 14 May 2026 at both locations.

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

1 - 8 von 8

	1	Languages: from formal to natural Berlin : Springer, 2009
	2	Languages: From Formal to Natural Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
	3	25 years of model checking Berlin : Springer, 2008
	4	25 years of model checking Berlin : Springer, 2008
	5	Tools and algorithms for the construction and analysis of systems Berlin : Springer, 2007
	6	Tools and algorithms for the construction and analysis of systems Berlin : Springer, 2007
	7	Computer aided verification Berlin : Springer, 1997
	8	Grumberg, Orna Informatikerin