Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series) (v. 1)

...
Author:  Dines Bjorner

43 downloads 848 Views 10MB 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 Theoretical Computer Science An EATCS Series Editors: W. Brauer G. Rozenberg A. Salomaa On behalf of the Europ...

Texts in Theoretical Computer Science An EATCS Series Editors: W. Brauer G. Rozenberg A. Salomaa On behalf of the Europ...

Texts in Theoretical Computer Science An EATCS Series Editors: W. Brauer G. Rozenberg A. Salomaa On behalf of the Europ...

Texts in Theoretical Computer Science An EATCS Series Editors: W. Brauer G. Rozenberg A. Salomaa On behalf of the Europ...

Texts in Theoretical Computer Science An EATCS Series Editors: W. Brauer G. Rozenberg A. Salomaa On behalf of the Europ...

Cristian S. Calude Infoflllation and Randolllness An Algorithmic Perspective Second Edition, Revised and Extended Fore...

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

Texts in Theoretical Computer Science An EATCS Series Editors: J. Hromkoviˇc G. Rozenberg A. Salomaa Founding Editors: ...

Texts in Theoretical Computer Science An EATCS Series Editors: W. Brauer J. Hromkoviˇc G. Rozenberg A. Salomaa On behal...