Springer Formal Methods for Components and Objects (English, Special Edition, Frank S. De Boer | Marcello M. Bonsangue | Stefan Hallerstede)

About the Book

All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the development methodologies has switched in the last two decades from functional to structural issues. Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires a gre…

Why You Should Read This Book

• Written by acclaimed author Frank S. De Boer | Marcello M. Bonsangue | Stefan Hallerstede
• Published by Springer, a respected name in academic and professional publishing
• Covers the domain of Software Development & Engineering / General with depth and clarity
• Available in English — ideal for students, researchers, and professionals alike
• A trusted reference work that belongs on every serious reader's shelf

Product Details

This Special Edition of Formal Methods for Components and Objects is published by Springer and carries ISBN-13 9783642170706. Packaged securely for delivery across India, this edition is ideal for personal libraries, classroom use, and professional reference.

Who Is This Book For?

Whether you are a student preparing for advanced coursework, a researcher deepening your expertise, or a professional staying current with the field, Formal Methods for Components and Objects by Frank S. De Boer | Marcello M. Bonsangue | Stefan Hallerstede is an excellent choice. Order your copy today from BookBajar and enjoy free shipping with Cash on Delivery available across India.