Verifying Concurrent Systems with Symbolic Execution von Michael Balser (2006, Kunststoffeinband)

Brandneu: niedrigster preis

EUR 49,80

Kostenloser Versand
(inkl. MwSt.)
  • Lieferung bis spätestens Do, 24. Mai - Sa, 26. Mai aus Osnabrück, Deutschland
Schlagworte: Datenverarbeitung. Verifying Concurrent Systems with Symbolic Execution. The resulting strategy can be applied to the verification of complex parallel programs and arbitrary (linear) temporal formulas.
Verkauft vonaverdo-buch (48200)99.8% positive Bewertungen
Angemeldet als gewerblicher Verkäufer