Name: Specifications and Verifications of Transactions in Mobile Environment
Brand: Rafat Alshorman
SKU: ID12603253
Availability: InStock

Specifications and Verifications of Transactions in Mobile Environment

79.00 EUR

Entdecke ein praxisorientiertes Werk, das mobile Transaktionsmodelle mit temporaler Logik formalisiert und Schritt‑für‑Schritt Verifikationstechniken für sichere Anwendungen vermittelt.

Marke: Rafat Alshorman

ISBN: 3845421312

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert Specifications and Verifications of Transactions in Mobile Environment, Fachbücher von Rafat Alshorman, Walter Hussak

Galaxus.de

79.00 EUR 79.00 EUR

29-05-2026 15:38:02

Access to the deal

Specifications and Verifications of Transactions in Mobile Environment

Gesponsert Specifications and Verifications of Transactions in Mobile Environment, Fachbücher von Rafat Alshorman, Walter Hussak

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Specifications and Verifications of Transactions in Mobile Environment

Gesponsert Specifications and Verifications of Transactions in Mobile Environment, Fachbücher von Rafat Alshorman, Walter Hussak

Ähnliche Produkte

Modular Specification and Verification of Object-Oriented Programs (Lecture Notes in Computer Science)

Design, Specification and Verification of Interactive Systems ¿95

"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 98