High-Integrity System Specification and Design

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

AuthorJonathan P. Bowen

PublisherSpringer-Verlag Berlin and Heidelberg GmbH & Co. K

Shop on Amazon — choose your 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.