Red Navy at Sea
Bruce W. Watson
₹4,455
The Correctness-by-Construction Approach to Programming
by Bruce W. Watson, Derrick G. Kourie
Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2012
₹7,729
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
The Correctness-by-Construction Approach to Programming by Bruce W. Watson & Derrick G. Kourie is a 266-page book published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K in 2012.
Its main subjects are Formal methods (Computer science), Software engineering, Computer science and Logic design.
Book details
- ISBN-13
- 9783642279188
- ISBN-10
- 364227918X
- Authors
- Bruce W. Watson, Derrick G. Kourie
- Published
- 2012
- Edition
- 2012 ed.
- Pages
- 266
- Language
- English
- Condition
- New
- Subject
- System design
More by Bruce W. Watson and related titles
System Design with Systemc
Thorsten Grötker
₹4,536
Universal Access in Health Telematics
Constantine Stephanidis
₹5,539
Advances in Affective and Pleasurable Design
WonJoon Chung, Cliff Sungsoo Shin
₹15,379
Conceptual Modeling
Peter P. Chen, Jacky Akoka, Hannu Kangassalu
₹5,540
Tools and Algorithms for the Construction and Analysis of Systems
TACAS 2010 (2010 Paphos, Cyprus)
₹5,828
Formal Methods and Models for System Design
Rajesh Gupta, Paul Le Guernic, Jean-Pierre Talpin, Sandeep Kumar Shukla
₹12,319
Dynamic Modelling of Information Systems
Kees Max van Hee
₹3,865
Unterstützung Von Partizipativer Systementwicklung Durch Methoden Des Software Engineering
Knut Koslowski
₹3,508
Semiotics in Information Systems Engineering
Kecheng Liu
₹4,927
Arithmetic Optimization Techniques for Hardware and Software Design
Ryan Kastner, Anup Hosangadi, Farzan Fallah
₹4,933
Quality-Driven SystemC Design
Daniel Große, Rolf Drechsler
₹6,737