Theoretical Aspects of Computing -- ICTAC 2013
Zhiming Liu, Jim Woodcock, Huibiao Zhu
₹4,249
Formal Methods and Software Engineering
8Th International Conference on Formal Engineering Methods
by Zhiming Liu, Jifeng He
Springer-Verlag New York Inc · 2007 · Paperback
₹6,670
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Formal Methods and Software Engineering: 8Th International Conference on Formal Engineering Methods by Zhiming Liu & Jifeng He is a 778-page paperback edition published by Springer-Verlag New York Inc in 2007.
The book deals with Formal methods (Computer science), Congresses, Software engineering and Computers.
Book details
- ISBN-13
- 9783540474609
- ISBN-10
- 3540474609
- Authors
- Zhiming Liu, Jifeng He
- Publisher
- Springer-Verlag New York Inc
- Published
- 2007
- Edition
- 2006 ed.
- Binding
- Paperback
- Pages
- 778
- Language
- English
- Condition
- New
- Subject
- Computer Books: Languages
More by Zhiming Liu and related titles
Automated Technology for Verification and Analysis
Zhiming Liu
₹4,269
Foundations of Health Informatics Engineering and Systems
Zhiming Liu, Alan Wassyng
₹5,298
Simple Program Design, A Step-by-Step Approach, Fifth Edition
Lesley Anne Robertson
₹6,637
C by Discovery
W. Foster, L. Foster
₹4,997
Practical Model-based Testing
Bruno Legeard, Mark Utting
₹4,967
Delivering Business Intelligence with Microsoft SQL Server 2005
Brian Larson
₹4,458
Java Transaction Design Strategies
Mark Richards
₹2,049
Programming Languages and Systems
David Schmidt
₹5,481
Agent-Oriented Methodologies
Brian Henderson-Sellers, Paolo Giorgini
₹4,004
Model-Driven Architecture in Practice
Oscar Pastor, Juan Carlos Molina
₹3,586
Logo for the Macintosh
Harold Abelson, Amanda Abelson
₹3,325