Explore Books on
vérification programme

1-4 of 4 Books

Cover of Logics of Programs by d. kozen

Logics of Programs

By D. Kozen

Cover of Synchronous programming of reactive systems by nicolas halbwachs

Synchronous programming of reactive systems

By Nicolas Halbwachs

Cover of Logics of programs by rohit parikh

Logics of programs

By Rohit Parikh

Cover of ESOP '88 by european symposium on programming (2nd 1988 nancy, france)

ESOP '88

By European Symposium on Programming (2nd 1988 Nancy, France)