Filter
Sökt på: Sökresultat
Filter
totalt 2 träffar
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 …
Michelle Obama and the FLOTUS Effect
häftad,
2021,
Engelska,
ISBN 9781498594912
"The FLOTUS Effect" emphasizes the import of agency on the part of Michelle Obama in relation to her politics as evidenced in her positionality and presence as the first African …