Specifications and Verifications of Transactions in Mobile Environment: Temporal Logics Specifications and Verifications

Entwickler entdecken hier ein praxisnahes Handbuch, das mobile Transaktionsmodelle mit temporaler Logik formalisiert und Schritt‑für‑Schritt Veri ...
Wo zu kaufen (1) Eigenschaften
Gesponsert
Specifications and Verifications of Transactions in Mobile Environment, Fachbücher von Rafat Alshorman, Walter Hussak
Galaxus.de
79.00 EUR
Preis aktualisiert am: 27-04-2026 18:10:31
Siehe Produktangebot

Allgemein

Marke
Rafat Alshorman
ISBN
Rafat Alshorman 3845421312

Eigenschaften

Ähnliche Produkte

Design, Specification and Verification of Interactive Systems ¿95
Design, Specification and Verification of Interactive Systems ¿95
Produkt anzeigen
Design, Specification and Verification of Interactive Systems '97: Proceedings of the Eurographics Workshop in Granada, Spain, June 4–6, 1997
"Design, Specification and Verification of Interactive Systems '97": Proceedings of the Eurographics Workshop in Granada, Spain, June 4–6, 1997
Produkt anzeigen
Design Specification and Verification of Interactive Systems 98
Design Specification and Verification of Interactive Systems 98
Produkt anzeigen
Modular Specification and Verification of Object-Oriented Programs (Lecture Notes in Computer Science)
Modular Specification and Verification of Object-Oriented Programs (Lecture Notes in Computer Science)
Produkt anzeigen
Leveraging Applications of Formal Methods Verification and Validation. Specification and Verification
Leveraging Applications of Formal Methods Verification and Validation. Specification and Verification
Produkt anzeigen
Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Produkt anzeigen
Menü