Cover of Construction, amélioration et vérification de programmes

Mark as

Construction, amélioration et vérification de programmes

by G. Huet

Buy this book
Add to a list
Review

See on goodreads

More by G. Huet

Coroutines and networks of parallel processes

by G. Kahn

Coroutines and networks of ...
Review
Buy this book More books like Coroutines and networks of parallel processes

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
Review
Buy this book More books like Functional programming languages and computer architecture, Portland, Oregon, USA, September 14-16, 1987

Semantics of Concurrent Computation

by G. Kahn

Cover of Semantics of Concurrent Computation
Review
Buy this book More books like Semantics of Concurrent Computation

Semantics of data types

by G. Kahn

Cover of Semantics of data types
Review
Buy this book More books like Semantics of data types

Recent activity

Rate this book to see your activity here.

Comments and reviews

Please sign in to leave a comment