Price: ₹10,280 - ₹9,199.00
(as of Apr 10, 2026 08:18:18 UTC – Details)
The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, engineeringly sound practice with the rigour of formal, mathematics-based approaches.
Volume 1 covers the basic principles and techniques of formal methods abstraction and modelling. First this book provides a sound, but simple basis of insight into discrete mathematics: numbers, sets, Cartesians, types, functions, the Lambda Calculus, algebras, and mathematical logic. Then it trains its readers in basic property- and model-oriented specification principles and techniques. The model-oriented concepts that are common to such specification languages as B, VDM-SL, and Z are explained here using the RAISE specification language (RSL). This book then covers the basic principles of applicative (functional), imperative, and concurrent (parallel) specification programming. Finally, the volume contains a comprehensive glossary of software engineering, and extensive indexes and references.
These volumes are suitable for self-study by practicing software engineers and for use in university undergraduate and graduate courses on software engineering. Lecturers will be supported with a comprehensive guide to designing modules based on the textbooks, with solutions to many of the exercises presented, and with a complete set of lecture slides.
<br>ASIN : 3540211497 <br> Publisher : Springer-Verlag Berlin and Heidelberg GmbH & Co. K <br> Publication date : 19 December 2005 <br> Edition : 2006th <br> Language : English <br> Print length : 714 pages <br> ISBN-10 : 9783540211495 <br> ISBN-13 : 978-3540211495 <br> Item Weight : 1 kg 160 g <br> Dimensions : 15.8 x 3.12 x 23.83 cm <br> Country of Origin : India <br> Importer : Atlantic Publishers and Distributors (P) Ltd., 7/22, Ansari Road, Darya Ganj, New Delhi - 110002 INDIA, Email – customercare@atlanticbooks.com, Ph – 011-47320500 <br> Packer : Peacock Books, DE-155 Tagore garden, west delhi, New DELHI - 110027 Email – customercare@atlanticbooks.com, Ph – 011-47320500 <br> Part of series : Texts in Theoretical Computer Science. An EATCS <br>
✨ Product Highlights
✔ Quality Product
✔ Trending & Popular Choice
✔ Suitable for Daily Use Top trending product in its category.
#284,429 in Books (See Top 100 in Books) #20 in Software Programming Compilers #197 in Operating Systems Books #233 in C & C++ Programming <br> 3.6 3.6 out of 5 stars (2) ; 'A', 'ready').(A) { if ( !== true) { = true; ( '', 'click', { "allowLinkDefault": true }, function (event) { if (window.ue) { ("", (("") || 0) + 1); } } ); } 'A', 'cf').(A) { ('acrStarsLink-click-metrics', 'click', { "allowLinkDefault" : true }, function(event){ if(window.ue) { ("", (("") || 0) + 1); } <br>
Reviews
There are no reviews yet