„howard barringer"
-
Runtime Verification
Band 6418
Runtime VerificationBuch (Taschenbuch) + weitere
51,99 €
-
Advances in Temporal Logic
Band 16 - 12%
Advances in Temporal LogicBuch (Taschenbuch) + weitere
144,99 € UVP
164,99 €* -
Temporal Logic in Specification
Band 398Benham Banieqbal, Howard Barringer + weitere
Temporal Logic in SpecificationBuch (Taschenbuch)
51,99 €
-
A Survey of Verification Techniques for Parallel Programs
Band 191Howard Barringer
A Survey of Verification Techniques for Parallel ProgramsBuch (Taschenbuch)
23,99 €