Formal Methods and Hybrid Real-Time Systems
Jones, Cliff B.
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
QA76.9.F67 / J66 2007
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
QA76.9.F67 / J66 2007