Modeling in Event-B

System and Software Engineering

Nonfiction, Computers, Programming, Programming Languages, General Computing
Big bigCover of Modeling in Event-B

More books from Cambridge University Press

bigCover of the book The Geneva Consensus by
bigCover of the book Researching the Autism Spectrum by
bigCover of the book Algorithmic and High-Frequency Trading by
bigCover of the book The South China Sea by
bigCover of the book Going Local by
bigCover of the book The Cambridge Companion to Bruckner by
bigCover of the book Covenant Renewal and the Consecration of the Gentiles in Romans by
bigCover of the book The Second Part of King Henry IV by
bigCover of the book Big Copyright Versus the People by
bigCover of the book Programming in Haskell by
bigCover of the book Why Switzerland? by
bigCover of the book Literature and the Development of Feminist Theory by
bigCover of the book The Cambridge Companion to Roman Law by
bigCover of the book The Political Logic of Poverty Relief by
bigCover of the book Aristotle: Nicomachean Ethics by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy