Formal Systems Specification

Erkunden Sie die präzise Spezifikation von RPC‑Speicherarchitekturen in dieser Fallstudie, die formale Methoden mit praxisnahen Beispielen verbinde ...
Formal Systems Specification The RPC-Memory Specification
Wo zu kaufen (3) Eigenschaften
Gesponsert
Formal Systems Specification
Hugendubel
53.49 EUR
Preis aktualisiert am: 25-10-2026 08:45:26
Siehe Produktangebot
Gesponsert
Formal Systems Specification: The RPC-Memory Specification Case Study (Lecture Notes in Computer Science)
Medimops DE
53.49 EUR
Preis aktualisiert am: 26-10-2026 16:45:46
Siehe Produktangebot
Gesponsert
Formal Systems Specification
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 25-10-2026 17:41:17
Siehe Produktangebot

Allgemein

Marke
Manfred Broy
ISBN
Manfred Broy 9783540619840

Eigenschaften

Ähnliche Produkte

Concurrent Programming, Open Systems and Formal Methods
Concurrent Programming, Open Systems and Formal Methods
Aus76.98 EUR 4
Produkt anzeigen
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International ... Notes in Computer Science, Band 15220)
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International ... Notes in Computer Science, Band 15220)
Aus70.60 EUR 4
Produkt anzeigen
On Recursion and Its Varieties
On Recursion and Its Varieties
Aus134.79 EUR 3
Produkt anzeigen
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Aus69.49 EUR 3
Produkt anzeigen
Formal Techniques for Networked and Distributed Systems
Formal Techniques for Networked and Distributed Systems - FORTE 2006
Aus118.00 EUR 1
Produkt anzeigen
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International ... Notes in Computer Science, Band 15220)
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International ... Notes in Computer Science, Band 15220)
Aus9.10 CHF 1
Produkt anzeigen
Menü