Bookbot
Das Buch ist derzeit nicht auf Lager

Computing abstract models for verifying reactive systems

Autoren

Parameter

ISBN
9783832243357
Verlag
Shaker

Kategorien

Buchvariante

2005, paperback

Buchkauf

Dieses Buch ist derzeit nicht auf Lager.