Modeling in Event-B: System and Software Engineering

This page intentionally left blank Modeling in Event-B A practical text suitable for an introductory or advanced cour...

94 downloads 1050 Views 3MB 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...

New Trends in Software Process Modeling Series on Software Engineering A and Knowledge Engineering New Trends in S...

Ontologies for Software Engineering and Software Technology Coral Calero · Francisco Ruiz · Mario Piattini (Eds.) Ont...

Communications in Computer and Information Science 117 Tai-hoon Kim Haeng-kon Kim Muhammad Khurram Khan Akingbehin K...

Advances in COMPUTERS VOLUME 62 This Page Intentionally Left Blank Advances in COMPUTERS Advances in Software Eng...

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...

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...