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. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4700 0302-9743 ; . - Lecture Notes in Computer Science, 4700 .
9783540752219
10.1007/978-3-540-75221-9 doi
Computer science.
Computer network architectures.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Computer Systems Organization and Communication Networks.
Mathematical Logic and Formal Languages.
QA76.758
005.1
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. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4700 0302-9743 ; . - Lecture Notes in Computer Science, 4700 .
9783540752219
10.1007/978-3-540-75221-9 doi
Computer science.
Computer network architectures.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Computer Systems Organization and Communication Networks.
Mathematical Logic and Formal Languages.
QA76.758
005.1