Principles of Model Checking von Jost-Pieter Katoen und Christel Baier (2008, Gebundene Ausgabe)

Brandneu: niedrigster preis

EUR 63,67

Kostenloser Versand
  • Lieferung bis spätestens Fr, 6. Jul - Mi, 18. Jul aus Gloucester, Großbritannien
This automated technique for verification and debugging has developed into a mature and widely used approach with many applications. Separate chapters treat such efficiency-improving techniques as abstraction and symbolic manipulation.
Verkauft vongreatshoppingtraders (3080)98.9% positive BewertungenVerkäufer kontaktieren
Angemeldet als gewerblicher Verkäufer