Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
 
 


Ergebnis der Suche nach: tit all "Heuristic-Guided Abstraction Refinement."
im Bestand: Gesamter Bestand

1 - 2 von 2
<< < > >>


Online Ressourcen 1 Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
Timm, Nils. - Paderborn : Universitätsbibliothek, 2013 		Online Ressource
Bücher 2 Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
Timm, Nils, 2013 		Vorhanden in Leipzig Vorhanden in Frankfurt


1 - 2 von 2
<< < > >>




Materialarten

Alle Materialarten

Kataloge/Sammlungen

Alle Kataloge/Sammlungen

Standorte

Alle Standorte > Frankfurt (2)

Aktionen

Aktionen


E-Mail-IconAdministration