High-Integrity System Specification and Design

Name: High-Integrity System Specification and Design
Author: Jonathan P. Bowen
ISBN: 9783540762263

Author Jonathan P. Bowen

Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. K

📄 Viewing lite version Full site ›

🌎 Shop on Amazon — choose country

🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India

⌛ 🇮🇳 India pricing being fetched… Prices will appear once fetched — usually within a few minutes.

View in: 🇫🇷 France 🇺🇸 USA

Book Details

Author(s)Jonathan P. Bowen

PublisherSpringer-Verlag Berlin and Heidelberg GmbH & Co. K

ISBN / ASIN3540762264

ISBN-139783540762263

MarketplaceIndia 🇮🇳

Description ▲

High-integrity System Specification and Design This guide to system specification and design methods helps software engineers understand and develop high-integrity systems, with emphasis on structured and formal methods, method integration, concurrency and safety-critical systems.