Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science, Band 6)

Real Time CSP
Wo zu kaufen (1) Eigenschaften
Gesponsert
Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science, Band 6)
Medimops DE
70.30 EUR
Preis aktualisiert am: 09-06-2026 22:23:52
Siehe Produktangebot

Allgemein

Marke
Jim Davies
ISBN
Jim Davies 1107403863
MPN
Jim Davies black & white illustrations

Eigenschaften

Ähnliche Produkte

Languages for System Specification: Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specifications from ... and Property Specification from FDL’03
Languages for System Specification: Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specifications from ... and Property Specification from FDL’03
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)
Produkt anzeigen
Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science, Band 6)
Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science, Band 6)
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
Writing Great Specifications
Writing Great Specifications
Produkt anzeigen
Writing Great Specifications
Writing Great Specifications
Produkt anzeigen
Menü