Union Catalogue of Belgian Libraries
Listing 1 - 1 of 1
|
|
Sort by
|
Book
Satisfiability & verification : from core algorithms to novel application domains
Author:
Herbstritt, Marc
ISBN: 9783838101026
Year: 2009
Publisher: Saarbrücken : Südwestdeutscher Verlag für Hochschulschriften,
Loading...
Export citation
Choose an application
Listing 1 - 1 of 1
|
|
Sort by
|