Vorstellung des Autors B. Berard:

Bisher veröffentlichte Bücher von B. Berard:

Verifikation von Systemen und Software: Techniken und Werkzeuge zur Modellüberprüfung - Systems and...
Springer Nature
Die Modellprüfung ist ein leistungsfähiger Ansatz...
Verifikation von Systemen und Software: Techniken und Werkzeuge zur Modellüberprüfung - Systems and Software Verification: Model-Checking Techniques and Tools
<<
1
>>

© Book1 Group - Alle Rechte vorbehalten.
Der Inhalt dieser Seite darf weder teilweise noch vollständig ohne schriftliche Genehmigung des Eigentümers kopiert oder verwendet werden.
Letzte Änderung: 2024.11.13 22:11 (GMT)