Modeling in Event-B
| 主要作者: | Jean-Raymond Abrial |
|---|---|
| 格式: | 電子 電子書 |
| 語言: | English |
| 出版: |
Cambridge University Press,
03/05/2013
|
| 版: | 1 |
| 主題: | |
| 在線閱讀: | Full text available on Cambridge University Press Off-campus access |
相似書籍
-
Systematic Program Design
由: Yanhong Annie Liu
出版: (2013) -
Programming in Visual Basic 2010
由: Jim McKeown
出版: (2012) -
Steps in Scala
由: Christos K. K. Loverdos, Apostolos Syropoulos
出版: (2012) -
Nominal Sets
由: Andrew M. Pitts
出版: (2013) -
Practical Foundations for Programming Languages
由: Robert Harper
出版: (2013)