Formal Foundations for Software Engineering Methods

Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen Advisory Board: W. Brauer D. Gries...
Author:  Heinrich Hußmann

40 downloads 1350 Views 16MB 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

Lecture Notes in Computer Science Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris...

Formal Methods for CONCURRENCY Dedicated to my father, Sydney Fencott (1924-1993) JOIN US ON THE INTERNET VIA WWW, ...

Lecture Notes in Computer Science Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris...

Lecture Notes in Computer Science Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris ...

PUBLISHED BY Microsoft Press A Division of Microsoft Corporation One Microsoft Way Redmond, Washington 98052-6399 Copyr...

Categories for Software Engineering Jose Luiz Fiadeiro Categories for Software Engineering fyj Springer Jose Luiz ...

Categories for Software Engineering Jose Luiz Fiadeiro Categories for Software Engineering fyj Springer Jose Luiz...

This page intentionally left blank Practical Formal Software Engineering Practical Formal Software Engineering is a ...

swenotes-FM 978-0-521-87903-3 Top Margin: Gutter Margin: November 11, 2008 10:32 This page intentionally left bla...