Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays / [electronic resource] :
edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock.
- 1a ed.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
- v.: digital
- Lecture Notes in Computer Science, 4700 0302-9743 ; .
9783540752219
Método formal (Informática)--Congresos Procesamiento de datos --Congresos