1. Home
  2. Medien
  3. Bücher
  4. Software Verification Based on Game Semantics and Process Algebra
  • #

Software Verification Based on Game Semantics and Process Algebra

79.00 EUR

Teilen:
Gesponsert

Software Verification Based on Game Semantics and Process Algebra, Fachbücher

Galaxus.de
79.00 EUR
21-04-2026 19:03:51

Ähnliche Produkte

Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment

Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment

35.00 EUR
Verification of Temporal Properties in Embedded Software: based on Assertion and Semiformal Verification Approaches

Verification of Temporal Properties in Embedded Software: based on Assertion and Semiformal Verification Approaches

69.90 EUR
Verification-Based Software-Fault Detection

Verification-Based Software-Fault Detection

40.00 EUR
Numerical Software Verification: 12th International Workshop, NSV 2019, New York City, NY, USA, July 1314, 2019, Proceedings (Lecture Notes in Computer Science, Band 11652)

Numerical Software Verification: 12th International Workshop, NSV 2019, New York City, NY, USA, July 1314, 2019, Proceedings (Lecture Notes in Computer Science, Band 11652)

52.94 EUR
Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction

Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction

32.50 EUR
Software Engineering: Specification, Implementation, Verification

Software Engineering: Specification, Implementation, Verification

72.94 EUR
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

70.61 EUR
Software Verification and Validation

Software Verification and Validation

82.99 EUR