Search:

Type:

Format:

Library:

Theoretical Aspects of Computing – ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings Cover Image

E-book

E-book

Theoretical Aspects of Computing – ICTAC 2007 [electronic resource] : 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings / edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock.

Jones, Cliff B. (editor.). Liu, Zhiming. (editor.). Woodcock, Jim. (editor.). SpringerLink (Online service) (Added Author).

Record details

ISBN: 9783540752929
Physical Description: XI, 483 p. online resource.
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Search for related items by subject

Subject:

Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Computer Science.
Computation by Abstract Devices.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Computer Communication Networks.

Search for related items by series

Add to basket Print Email Permalink Disable Highlighting

Electronic resources

► Awards, Reviews, & Suggested Reads

► Shelf Browser

► MARC Record