TY - BOOK ID - 5452598 TI - Formal Methods and Hybrid Real-Time Systems : Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays AU - Jones, C. B. AU - Liu, Zhiming AU - Woodcock, Jim PY - 2007 SN - 9783540752202 354075220X 3540752218 PB - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, DB - UniCat KW - Formal methods (Computer science) KW - Real-time data processing KW - Méthodes formelles (Informatique) KW - Temps réel KW - Congresses. KW - Congrès KW - Björner, D. KW - Zhou, Chaochen, KW - Computer Science KW - Engineering & Applied Sciences KW - Information Technology KW - Software Engineering KW - Bjørner, D. KW - Bjørner, Dines KW - Bjørner, Dines, KW - Chaochen, Zhou, KW - Computer science. KW - Computer organization. KW - Software engineering. KW - Computer logic. KW - Mathematical logic. KW - Computer Science. KW - Software Engineering/Programming and Operating Systems. KW - Software Engineering. KW - Logics and Meanings of Programs. KW - Computer Systems Organization and Communication Networks. KW - Mathematical Logic and Formal Languages. KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Computer software engineering KW - Engineering KW - Organization, Computer KW - Electronic digital computers KW - Informatics KW - Science KW - Logic design. KW - Computer network architectures. KW - Architectures, Computer network KW - Network architectures, Computer KW - Computer architecture KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - Chaochen, Zhou. KW - Computer engineering. KW - Computer networks. KW - Machine theory. KW - Computer Science Logic and Foundations of Programming. KW - Computer Engineering and Networks. KW - Formal Languages and Automata Theory. KW - Abstract automata KW - Abstract machines KW - Automata KW - Mathematical machine theory KW - Algorithms KW - Recursive functions KW - Robotics KW - Communication systems, Computer KW - Computer communication systems KW - Data networks, Computer KW - ECNs (Electronic communication networks) KW - Electronic communication networks KW - Networks, Computer KW - Teleprocessing networks KW - Data transmission systems KW - Digital communications KW - Electronic systems KW - Information networks KW - Telecommunication KW - Cyberinfrastructure KW - Electronic data processing KW - Network computers KW - Computers KW - Distributed processing KW - Design and construction UR - https://www.unicat.be/uniCat?func=search&query=sysid:5452598 AB - ER -