Home > Authors > Hubert Garavel > Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Hubert Garavel, John Hatcliff

Recent activity

Rate this book to see your activity here.

1 Book Similar to Tools and Algorithms for the Construction and Analysis of Systems by Hubert Garavel

Bookscovery readers who liked Tools and Algorithms for the Construction and Analysis of Systems also like Partial Evaluation : Practice and Theory. How many of these have you read?

Partial Evaluation : Practice and Theory by John Hatcliff

Cover of Partial Evaluation : Practice and Theory

I liked it Liked it

I didn't like it Didn't like

Want to read Want to read

Not interested Not for me

Review book

More books like this

Buy this book at:

Bookshop.org Amazon

Comments and reviews of Tools and Algorithms for the Construction and Analysis of Systems

Please sign in to leave a comment