Filter
Sökt på: Sökresultat
Filter
totalt 2 träffar
Math Review Toolkit: General Chemistry: Principles and Modern Applications
häftad,
2010,
Engelska,
ISBN 9780136120391
""
Systems and Software Verification
häftad,
2010,
Engelska,
ISBN 9783642074783
Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via …