[Monographs in Theoretical Computer Science] Logics of...

  • Main
  • [Monographs in Theoretical Computer...

[Monographs in Theoretical Computer Science] Logics of Specification Languages || The event-B Modelling Method: Concepts and Case Studies

Bjørner, Dines, Henson, Martin C.
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
10.1007/97
Year:
2008
Language:
english
DOI:
10.1007/978-3-540-74107-7_3
File:
PDF, 914 KB
english, 2008
Conversion to is in progress
Conversion to is failed