Herzlich Willkommen!
Mehr Infos: Haupt Newsletter
Mehr Bücher: Hauptverlag
Zur Startseite gehen
0,00 CHF*
Kategorien

Zu "Event-B" wurden 12 Produkte gefunden

Suchergebnis | Haupt Buchhandlung

Filter
–
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

62,05 CHF*
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Abstract State Machines, Alloy, B, TLA, VDM, and Z

53,50 CHF*
Using Event-B for Critical Device Software Systems
Using Event-B for Critical Device Software Systems

107,00 CHF*
Industrial Deployment of System Engineering Methods
Industrial Deployment of System Engineering Methods

53,50 CHF*
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Abstract State Machines, Alloy, B, TLA, VDM, and Z

53,50 CHF*
Industrial Deployment of System Engineering Methods
Industrial Deployment of System Engineering Methods

53,50 CHF*
Integrated Formal Methods
Integrated Formal Methods

53,50 CHF*
ABZ 2014: The Landing Gear Case Study
ABZ 2014: The Landing Gear Case Study

53,50 CHF*
Rigorous State-Based Methods
Rigorous State-Based Methods

64,20 CHF*
Using Event-B for Critical Device Software Systems
Using Event-B for Critical Device Software Systems

107,00 CHF*
Logic, Computation and Rigorous Methods
Logic, Computation and Rigorous Methods

53,50 CHF*
Recent Trends in Algebraic Development Techniques
Recent Trends in Algebraic Development Techniques

53,50 CHF*
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...