Salta al contingut principal

Modeling in Event-B

Modeling in Event-B

Autor: Abrial
Matèria: Computer Science; Programming Languages and Applied Logic; Software Engineering and Development
Editor: Cambridge University Press
Data publicació: 2010
Identificador: 9781139195881
Col·lecció: Computer Science and Information Technology
Accés