Formal Systems Specification: The RPC-Memory Specification Case Study
53.49 EUR
Erforscht die präzise Spezifikation von RPC‑Speicherarchitekturen, kombiniert formale Methoden mit praktischen Beispielen und zeigt Schritt für Schritt, wie Modelle geprüft und verifiziert werden.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Formal Systems Specification: The RPC-Memory Specification Case Study (Lecture Notes in Computer Science)
Medimops DE
22-04-2026 05:40:19
SpringerLink DE 
