Clicky

Construction, amélioration et vérification de programmes by G. Huet and similar books you'll love - Bookscovery

Home > Authors > G. Huet > Construction, amélioration et vérification de programmes

Buy at: Bookshop.org Amazon

Construction, amélioration et vérification de programmes

G. Huet, G. Kahn

See on goodreads

Recent activity

Rate this book to see your activity here.

4 Books Similar to Construction, amélioration et vérification de programmes by G. Huet

Bookscovery readers who liked Construction, amélioration et vérification de programmes also like Coroutines and networks of parallel processes, Functional programming languages and computer architecture, Portland, Oregon, USA, September 14-16, 1987 and Semantics of Concurrent Computation. How many of these have you read?

Coroutines and networks of parallel processes by G. Kahn

Cover of Coroutines and networks of parallel processes
Buy this book at:
Bookshop.org Amazon

Functional programming languages and computer architecture, Portland, Oregon, USA, September 14-16, 1987 by G. Kahn

Cover of Functional programming languages and computer architecture, Portland, Oregon, USA, September 14-16, 1987
Buy this book at:
Bookshop.org Amazon

Semantics of Concurrent Computation by G. Kahn

Cover of Semantics of Concurrent Computation
Buy this book at:
Bookshop.org Amazon

Semantics of data types by G. Kahn

Cover of Semantics of data types
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Construction, amélioration et vérification de programmes

Please sign in to leave a comment