Katalog der Deutschen Nationalbibliothek

Expertensuche ?

eingeschränkt auf
- Standorte:	Leipzig

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

1 - 7 von 7

	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