CAFE: An Industrial Strength Algebraic Formal Method

...
Author:  K. Futatsugi |  A.T. Nakagawa |  T. Tamai

7 downloads 410 Views 2MB Size Report

This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!

Report copyright / DMCA form

Recommend Documents

Industrial Strength Parallel Computing Related Titles from Morgan Kaufmann Publishers The Grid: Blueprint for a New C...

.RO Release ☺ 1. 2. 3. 4. 5. 6. 7. Contents Preface Introduction Language Techniques Windows Techniques Software Pro...

This page intentionally left blank Proceedings of AFLAS 2008 Kyoto, Japan, 20 – 22 September 2008 edited by Masami ...

This page intentionally left blank Proceedings of AFLAS 2008 Kyoto, Japan, 20 – 22 September 2008 edited by Masami ...

Daniel Perrin Algebraic Geometry An Introduction Translated from the French by Catriona Maclean Professor Daniel Pe...