Clicky

Theoretical Aspects of Computing -- ICTAC 2013 by Zhiming Liu and similar books you'll love - Bookscovery

Home > Authors > Zhiming Liu > Theoretical Aspects of Computing -- ICTAC 2013

Buy at: Bookshop.org Amazon

Theoretical Aspects of Computing -- ICTAC 2013

Zhiming Liu, Jim Woodcock, Huibiao Zhu

This book constitutes the refereed proceedings of the 10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013 held in Macau, China, in September 2013. The 22 revised full papers presented together with three keynote talks were carefully reviewed and selected from 64 submissions. The papers cover various topics related to both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.

Recent activity

Rate this book to see your activity here.

12 Books Similar to Theoretical Aspects of Computing -- ICTAC 2013 by Zhiming Liu

Bookscovery readers who liked Theoretical Aspects of Computing -- ICTAC 2013 also like Engineering Trustworthy Software Systems, Theories of Programming and Formal Methods and Unifying Theories of Programming and Formal Engineering Methods. How many of these have you read?

Engineering Trustworthy Software Systems by Zhiming Liu

Cover of Engineering Trustworthy Software Systems
Buy this book at:
Bookshop.org Amazon

Theories of Programming and Formal Methods by Zhiming Liu

Cover of Theories of Programming and Formal Methods
Buy this book at:
Bookshop.org Amazon

Unifying Theories of Programming and Formal Engineering Methods by Zhiming Liu

Cover of Unifying Theories of Programming and Formal Engineering Methods
Buy this book at:
Bookshop.org Amazon

Formal methods and hybrid real-time systems by D. Bjørner

Cover of Formal methods and hybrid real-time systems
Buy this book at:
Bookshop.org Amazon

Theories of Programming and Formal Methods by Zhiming Liu

Cover of Theories of Programming and Formal Methods
Buy this book at:
Bookshop.org Amazon

Unifying Theories of Programming and Formal Engineering Methods by Zhiming Liu

Cover of Unifying Theories of Programming and Formal Engineering Methods
Buy this book at:
Bookshop.org Amazon

Formal Methods and Software Engineering by Jin-Song Dong

Cover of Formal Methods and Software Engineering
Buy this book at:
Bookshop.org Amazon

Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings by Huibiao Zhu

Cover of Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings
Buy this book at:
Bookshop.org Amazon

Service-Oriented Computing - ICSOC Workshops 2012 by Aditya Ghose

Cover of Service-Oriented Computing - ICSOC Workshops 2012
Buy this book at:
Bookshop.org Amazon

Theories of Programming and Formal Methods by Zhiming Liu

Cover of Theories of Programming and Formal Methods
Buy this book at:
Bookshop.org Amazon

Unifying Theories of Programming by Jonathan P. Bowen

Cover of Unifying Theories of Programming
Buy this book at:
Bookshop.org Amazon

Unifying Theories of Programming and Formal Engineering Methods by Zhiming Liu

Cover of Unifying Theories of Programming and Formal Engineering Methods
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Theoretical Aspects of Computing -- ICTAC 2013

Please sign in to leave a comment