Larch: Languages and Tools for Formal Specification

Larch: Languages and Tools for Formal Specification J.V. Guttag and J.J. Horning, with S.J. Garland, K.D. Jones, A. Mode...
Author:  John Guttag

34 downloads 917 Views 573KB 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

Texts in Computer Science Editors David Gries Fred B. Schneider For other titles published in this series, go to http:/...

R in Foundations and Trends Journal Title Vol. 1, No 1 (2005) 1–177 c 2005 L. P. Carloni, R. Passerone, A. Pinto, A. L. ...

Constraint Programming Languages Their Specification and Generation WmLeler ADDISON-WESLEY PUBLISHING COMPANY Reading...

ADVANCES IN DESIGN AND SPECIFICATION LANGUAGES FOR EMBEDDED SYSTEMS Advances in Design and Specification Languages fo...

ADVANCES IN DESIGN AND SPECIFICATION LANGUAGES FOR SoCs Advances in Design and Specification Languages for SoCs , Sele...

ADVANCES IN DESIGN AND SPECIFICATION LANGUAGES FOR EMBEDDED SYSTEMS Advances in Design and Specification Languages fo...

Zoltán Ésik, Carlos Martín-Vide, Victor Mitrana (Eds.) Recent Advances in Formal Languages and Applications Studies in...