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

Wo zu kaufen (3) Eigenschaften
Gesponsert
Specification and Compositional Verification of Real-Time Systems
Hugendubel
53.49 EUR
Preis aktualisiert am: 23-09-2026 02:00:32
Siehe Produktangebot
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: 22-09-2026 15:06:50
Siehe Produktangebot
Gesponsert
Specification and Compositional Verification of Real-Time Systems
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 23-09-2026 00:09:29
Siehe Produktangebot

Allgemein

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

Eigenschaften

Ähnliche Produkte

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)
Aus53.04 EUR 4
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)
Aus106.99 EUR 3
Produkt anzeigen
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)
Aus52.84 EUR 3
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)
Aus53.49 EUR 3
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)
Aus160.49 EUR 2
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)
Aus53.14 EUR 2
Produkt anzeigen
Menü