Integrated Formal Methods
Eerke Boiten, John Derrick, Graeme Smith
₹5,653
Refinement
Semantics, Languages and Applications
by Eerke Boiten, John Derrick
Springer International Publishing AG · 2018
₹4,240
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
Published by Springer International Publishing AG in 2018, Refinement: Semantics, Languages and Applications by Eerke Boiten & John Derrick runs to 269 pages.
The book deals with Software engineering.
Subjects
Book details
- ISBN-13
- 9783319927091
- ISBN-10
- 3319927094
- Authors
- Eerke Boiten, John Derrick
- Publisher
- Springer International Publishing AG
- Published
- 2018
- Edition
- 1st ed. 2018
- Pages
- 269
- Language
- English
- Condition
- New
- Subject
- Software engineering
More by Eerke Boiten and related titles
Languages, Design Methods, and Tools for Electronic System Design
Franco Fummi, Robert Wille
₹7,771
Software Architecture in Action
Flavio Oquendo, Jair Leite, Thaís Batista
₹4,707
Simulator-based Human Factors Studies Across 25 Years
Andreas Bye
₹15,394
Software Engineering Research, Management and Applications
Roger Lee
₹7,770
Modula-2
Daniel Thalmann
₹7,762
Knowledge Engineering and Semantic Web
Pavel Klinov, Dmitry Mouromtsev
₹4,242
Computer Aided Verification
Shuvendu K. Lahiri, Chao Wang
₹3,190
Applied Software Project Management
Andrew Stellman, Jennifer Greene
₹3,714
Prototyping-Oriented Software Development
Walter R. Bischofberger, Gustav Pomberger
₹3,948
Programming for Software Sharing
D. T. Muxworthy
₹5,096
Engineering Software Products
Ian Sommerville
₹4,883