-
Formal Methods in Software Engineering: An Introduction- Vendor:
Diana Moore
Reviews (0)
Only logged in customers who have purchased this product may leave a review.
Formal Methods in Software Engineering: An Introduction
$18.31
Available in stock
- A comprehensive guide to formal methods for software engineering, covering languages, methods, and application domains.
- Provides a systematic and rigorous approach to software development, support correctness and reliability.
- Includes case studies and examples to illustrate the practical application of formal methods.
- Suitable for software engineers, researchers, and students in computer science and engineering.
- Covers topics such as specification languages, verification techniques, and model-driven development.
- Explores the use of formal methods in various application domains, including safety-critical systems, embedded systems, and distributed systems.
- Provides a solid foundation for understanding and applying formal methods in software engineering.
- Written by leading experts in the field, support authoritative and up-to-date content.
Condition: New original from publisher
Sold By
Store
Reviews
There are no reviews yet.