Zu "model-checking" wurden 25 Produkte gefunden
HOME
Simulation, Modeling, and Programming for Autonomous Robots
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Transactions on Aspect-Oriented Software Development XII
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Transactions on Petri Nets and Other Models of Concurrency III
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Tools and Algorithms for the Construction and Analysis of Systems
42,79 €*
Preise inkl. MwSt. zzgl. Versandkosten
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
62,05 €*
Preise inkl. MwSt. zzgl. Versandkosten
Simulation, Modeling, and Programming for Autonomous Robots
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Software Engineering for Collective Autonomic Systems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Tools and Algorithms for the Construction and Analysis of Systems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Application and Theory of Petri Nets and Concurrency
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
SOFSEM 2011: Theory and Practice of Computer Science
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Tools and Algorithms for the Construction and Analysis of Systems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Tools and Algorithms for the Construction and Analysis of Systems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
SOFSEM 2011: Theory and Practice of Computer Science
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten