Modellierung und Verifizierung von Echtzeitsystemen: Formalismen und Software-Tools von
342,91 €
Subtitle Formalisms and Software Tools. Bernard BERTHOMIEU, Florent PERES and Francois VERNADAT 1.1. Introduction 19 1.2. Definition 20 1.2.2. States and the state reachability relation 20 1.2.3. Illustration 22 1.2.4.
Jetzt bei Ebay:
