Cover of Unifying Theories of Programming and Formal Engineering Methods

Mark as

Unifying Theories of Programming and Formal Engineering Methods

Buy this book Review

More by Zhiming Liu

Cover of Engineering Trustworthy Software Systems

Cover of Theoretical Aspects of Computing -- ICTAC 2013

Cover of Theories of Programming and Formal Methods

Cover of Dependable Software Engineering. Theories, Tools, and Applications

Cover of Formal methods and hybrid real-time systems

Cover of Theoretical Aspects of Computing -- ICTAC 2013

Cover of Theories of Programming and Formal Methods

Cover of Formal Methods and Software Engineering

Cover of Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings

Cover of Service-Oriented Computing - ICSOC Workshops 2012

Cover of Theoretical Aspects of Computing -- ICTAC 2013

Cover of Theories of Programming and Formal Methods

Cover of Unifying Theories of Programming

Recent activity

Rate this book to see your activity here.

Comments and reviews

Please sign in to leave a comment