Filter
Sökt på: Sökresultat
Filter
totalt 2 träffar
Systems and Software Verification
inbunden,
2001,
Engelska,
ISBN 9783540415237
Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via …
Islam and Ecology
inbunden,
2003,
Engelska,
ISBN 9780945454397
Islam is the religion of over one billion people and is practiced in virtually every country on earth. The articulation of an Islamic environmental ethic in contemporary terms is …