B. Berard Forfatter
Visning: Type : Alle | Sprog : Alle | Format : Alle
Viser 1 - 1 af 1 resultat
-
Systems and Software Verification: Model-Checking Techniques and Tools (Bog, Paperback / softback, Engelsk)
Model checking is a powerful approach for the formal verification of software. The first part describes in simple terms the... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
Viser 1 - 1 af 1 resultat