Foundations of Computer Software: Modeling, Development, and Verification of Adaptive Systems

Lecture Notes in Computer Science Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris...
Author:  Radu Calinescu |  Ethan Jackson

73 downloads 1006 Views 4MB 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

This page intentionally left blank Modeling and Verification of Real-Time Systems This page intentionally left blan...

Lecture Notes in Control and Information Sciences Edited by M.Thoma and A.Wyner 160 P.V. Kokotovic (Ed.) Foundations o...

AU4462.indb 1 11/19/06 4:14:56 PM Other Auerbach Publications in Software Development, Software Engineering, and Pro...

This Page Intentionally Left Blank COMPUTER-AIDED MODELING OF REACTIVE SYSTEMS This Page Intentionally Left Blank ...

Information Systems Development Jaroslav Pokorny • Vaclav Repa • Karel Richta Wita Wojtkowski • Henry Linger • Chris ...

Taxonomies for the Development and Verification of Digital Systems Edited by Brian Bailey Grant Martin Thomas Anderso...

Computer Modeling of Matter In Computer Modeling of Matter; Lykos, P.; ACS Symposium Series; American Chemical Society:...

TABLE OF CONTENTS ✦ ✦ ✦ ✦ Table of Contents Preface Chapter 1.1. 1.2. 1.3. 1.4. 1.5. 1.6. 1.7. 1.8. ix 1. Computer S...

Monographs in Theoretical Computer Science An EATCS Series Editors: J. Hromkovič G. Rozenberg A. Salomaa Founding Edito...