Specifications and Verifications of Transactions in Mobile Environment: Temporal Logics Specifications and Verifications | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Specifications and Verifications of Transactions in Mobile Environment: Temporal Logics Specifications and Verifications
  • #

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

79.00 EUR 78.99 EUR 0% Off

Ein Leitfaden zur sicheren Gestaltung mobiler Transaktionen, der zeitliche Logik nutzt, um klare Spezifikationen zu formulieren und systematische Verifikationstests für robuste Anwendungen vorzustellen.

Teilen:

Ähnliche Produkte

Modular Specification and Verification of Object-Oriented Programs

Modular Specification and Verification of Object-Oriented Programs

53.49 EUR
Design Specification and Verification of Interactive Systems 95

Design Specification and Verification of Interactive Systems 95

53.49 EUR
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

53.49 EUR
Design Specification and Verification of Interactive Systems 98

Design Specification and Verification of Interactive Systems 98

53.49 EUR
Leveraging Applications of Formal Methods Verification and Validation. Specification and Verification

Leveraging Applications of Formal Methods Verification and Validation. Specification and Verification

67.40 EUR