Tomeki

Explore Books on
logiciel - vérification

1-2 of 2 Books

View Software testing for financial services firms By Hal McIntyre,Megan Johnson,Deborah Fortuna
Cover of Software testing for financial services firms by hal mcintyre,megan johnson,deborah fortuna

Software testing for financial services firms

By Hal McIntyre,Megan Johnson,Deborah Fortuna

View Verifying concurrent processes using temporal logic By Brent T. Hailpern
Cover of Verifying concurrent processes using temporal logic by brent t. hailpern

Verifying concurrent processes using temporal logic

By Brent T. Hailpern