Teaching Formal Methods
de C. Neville Dean, Raymond T. Boute
Ediciones (2)
- Teaching Formal Methods (2014)
Springer · ISBN 9783662194706
- Teaching Formal Methods (2004)
Springer London, Limited · inglés · ISBN 9783540304722
de C. Neville Dean, Raymond T. Boute
Springer · ISBN 9783662194706
Springer London, Limited · inglés · ISBN 9783540304722
