Katalog der Deutschen Nationalbibliothek

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

1 - 2 von 2

	1	Handbook of Model Checking Cham : Springer International Publishing, 2015, Aufl. 2015	Verlagsinformation
	2	Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem (eds): Handbook of model checking Enthalten in Formal aspects of computing Bd. 31, 21.6.2019, Nr. 4, date:8.2019: 455-456