Computergestützte Verifizierung: Techniken und Anwendungen, Hardcover von Dean...
138,76 €
These tools are being incorporated in the system design of firms. Computer aided verification strives to improve the quality of systems through the analysis of software designs using logical reasoning and software tools.
Jetzt bei Ebay: