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 (2) Eigenschaften
Gesponsert
Formal Systems Specification: The RPC-Memory Specification Case Study (Lecture Notes in Computer Science)
Medimops DE
53.49 EUR
Preis aktualisiert am: 05-06-2026 20:21:31
Siehe Produktangebot
Gesponsert
Formal Systems Specification
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 05-06-2026 17:02:58
Siehe Produktangebot

Allgemein

Marke
Manfred Broy
ISBN
Manfred Broy 9783540619840

Eigenschaften

Ähnliche Produkte

Formal Methods for Autonomous Systems (Foundations and Trends(r) in Systems and Control)
Formal Methods for Autonomous Systems (Foundations and Trends(r) in Systems and Control)
Produkt anzeigen
On Recursion and Its Varieties
On Recursion and Its Varieties
Produkt anzeigen
Formal Techniques for Networked and Distributed Systems
Formal Techniques for Networked and Distributed Systems - FORTE 2006
Produkt anzeigen
Concurrent Programming, Open Systems and Formal Methods
Concurrent Programming, Open Systems and Formal Methods
Produkt anzeigen
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
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)
Produkt anzeigen
Menü