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

Zu "abstract state machines" wurden 15 Produkte gefunden

Suchergebnis | Haupt Buchhandlung

Filter
–
S-BPM ONE - Scientific Research
S-BPM ONE - Scientific Research

53,50 CHF*
Implementation and Application of Functional Languages
Implementation and Application of Functional Languages

53,50 CHF*
Fields of Logic and Computation
Fields of Logic and Computation

107,00 CHF*
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Abstract State Machines, Alloy, B, TLA, VDM, and Z

53,50 CHF*
Abstract State Machines, B and Z
Abstract State Machines, B and Z

53,50 CHF*
Operational Semantics for Timed Systems
Operational Semantics for Timed Systems

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

53,50 CHF*
Formal Approaches to Software Testing
Formal Approaches to Software Testing

53,50 CHF*
Runtime Verification
Runtime Verification

53,50 CHF*
Rigorous Methods for Software Construction and Analysis
Rigorous Methods for Software Construction and Analysis

53,50 CHF*
Abstract State Machines 2003: Advances in Theory and Practice
Abstract State Machines 2003: Advances in Theory and Practice

53,50 CHF*
Abstract State Machines 2004. Advances in Theory and Practice
Abstract State Machines 2004. Advances in Theory and Practice

53,50 CHF*
Formal Methods and Testing
Formal Methods and Testing

53,50 CHF*
Algebraic Methodology and Software Technology
Algebraic Methodology and Software Technology

53,50 CHF*
Formal Approaches to Software Testing
Formal Approaches to Software Testing

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