Formal Methods : Applications and Technology
de Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol
Materias
Ediciones (1)
- Formal Methods : Applications and Technology (2007)
Springer London, Limited · inglés · ISBN 9783540709527
de Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol
Springer London, Limited · inglés · ISBN 9783540709527
