Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science, 558, Band 558)

Wo zu kaufen (2) Eigenschaften
Gesponsert
Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science, 558, Band 558)
Medimops DE
53.49 EUR
Preis aktualisiert am: 01-05-2026 20:38:34
Siehe Produktangebot
Gesponsert
Specification and Compositional Verification of Real-Time Systems
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 01-05-2026 21:31:30
Siehe Produktangebot

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540549471
MPN
Springer Berlin Heidelberg 6902187

Eigenschaften

Ähnliche Produkte

Fundamentals of Algebraic Specification 2: Module Specifications and Constraints (Monographs in Theoretical Computer Science. An E.A.T.C.S. Series) ... Science. An EATCS Series, 21, Band 21)
Fundamentals of Algebraic Specification 2: Module Specifications and Constraints (Monographs in Theoretical Computer Science. An E.A.T.C.S. Series) ... Science. An EATCS Series, 21, Band 21)
Produkt anzeigen
Fundamentals of Algebraic Specification 2: Module Specifications and Constraints (Monographs in Theoretical Computer Science. An EATCS Series)
Fundamentals of Algebraic Specification 2: Module Specifications and Constraints (Monographs in Theoretical Computer Science. An EATCS Series)
Produkt anzeigen
Interactive Systems: Design, Specification, and Verification: 1st Eurographics Workshop, Bocca di Magra, Italy, June 1994 (Focus on Computer Graphics)
Interactive Systems: Design, Specification, and Verification: 1st Eurographics Workshop, Bocca di Magra, Italy, June 1994 (Focus on Computer Graphics)
Produkt anzeigen
Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System (Lecture Notes in Computer Science, 680, Band 680)
Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System (Lecture Notes in Computer Science, 680, Band 680)
Produkt anzeigen
Cortical Development: From Specification to Differentiation (Results and Problems in Cell Differentiation, 39, Band 39)
Cortical Development: From Specification to Differentiation (Results and Problems in Cell Differentiation, 39, Band 39)
Produkt anzeigen
ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, ... Notes in Computer Science, 2272, Band 2272)
ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, ... Notes in Computer Science, 2272, Band 2272)
Produkt anzeigen
Menü