Temporal Logic and State Systems electronic resource

Författare
Fred. Kröger
(Fred Kröger, Stephan Merz.)
Språk
Engelska
Förlag År Ort Om boken ISBN
Springer-Verlag Berlin Heidelberg 2008 Utgivningsland okänt / Ej specificerat, Berlin, Heidelberg v.: digital 978-3-540-68635-4
Springer Berlin Heidelberg 2008 Utgivningsland okänt / Ej specificerat