Tomeki

Explore Books on
vérification logiciel

1-2 of 2 Books

View Software engineering concepts By R. E. Fairley
Cover of Software engineering concepts by r. e. fairley

Software engineering concepts

By R. E. Fairley

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