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

Zu "formal modeling" wurden 18 Produkte gefunden

Suchergebnis | Haupt Buchhandlung

Filter
–
Software Engineering and Formal Methods
Software Engineering and Formal Methods

53,50 CHF*
Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems

53,50 CHF*
Model Driven Engineering Languages and Systems
Model Driven Engineering Languages and Systems

53,50 CHF*
Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis

53,50 CHF*
Model Checking Software
Model Checking Software

53,50 CHF*
Leveraging Applications of Formal Methods
Leveraging Applications of Formal Methods

53,50 CHF*
Software Engineering for Resilient Systems
Software Engineering for Resilient Systems

42,80 CHF*
FM 2009: Formal Methods
FM 2009: Formal Methods

107,00 CHF*
Software Engineering for Resilient Systems
Software Engineering for Resilient Systems

49,20 CHF*
Software Engineering for Resilient Systems
Software Engineering for Resilient Systems

42,80 CHF*
Formal Aspects of Component Software
Formal Aspects of Component Software

53,50 CHF*
Integrated Formal Methods
Integrated Formal Methods

53,50 CHF*
Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems

53,50 CHF*
Unifying Theories of Programming and Formal Engineering Methods
Unifying Theories of Programming and Formal Engineering Methods

53,50 CHF*
Thinking Programs
Thinking Programs

107,00 CHF*
SDL 2009: Design for Motes and Mobiles
SDL 2009: Design for Motes and Mobiles

53,50 CHF*
Demnächst
Neu
From Data to Models and Back

0,00 CHF*
Details
Thinking Programs
Thinking Programs

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