Cover Image

Formal Methods and Hybrid Real-Time Systems Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays /

Corporate Author: SpringerLink (Online service)
Other Authors: Jones, Cliff B. (Editor, http://id.loc.gov/vocabulary/relators/edt), Liu, Zhiming. (Editor, http://id.loc.gov/vocabulary/relators/edt), Woodcock, Jim. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edition:1st ed. 2007.
Series:Theoretical Computer Science and General Issues ; 4700
Subjects:
Software engineering.
Computer logic.
Computer organization.
Mathematical logic.
Software Engineering/Programming and Operating Systems.
Software Engineering.
Logics and Meanings of Programs.
Computer Systems Organization and Communication Networks.
Mathematical Logic and Formal Languages.
Online Access:https://doi.org/10.1007/978-3-540-75221-9

Internet

https://doi.org/10.1007/978-3-540-75221-9

Similar Items