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

8435 EUR

🛒 Buy New on Amazon 🇫🇷 🏷 Buy Used — EUR 36,09

✓ Habituellement expédié sous 24 h

Book Details

Author(s)Jonathan P. Bowen

PublisherSpringer-Verlag Berlin and Heidelberg GmbH & Co. K

ISBN / ASIN3540762264

ISBN-139783540762263

AvailabilityHabituellement expédié sous 24 h

Sales Rank2,588,427

MarketplaceFrance 🇫🇷

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.