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 75.04 EUR 5% 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
Specification Modelling Verification and Runtime Analysis of Real Time Systems

Specification Modelling Verification and Runtime Analysis of Real Time Systems

73.99 EUR