High-Integrity System Specification and Design /

This volume provides the reader with a comprehensive introduction to system specification and design methods, with particular emphasis on structured and formal methods, method integration, concurrency and safety-critical systems. It contains both new material by Michael Hinchey and Jonathan Bowen, a...

Full description

Bibliographic Details

Main Author:	Bowen, Jonathan P.
Corporate Author:	SpringerLink (Online service)
Other Authors:	Hinchey, Michael G.
Format:	eBook
Language:	English
Published:	London : Springer London, 1999.
Series:	Formal Approaches to Computing and Information Technology (FACIT)
Subjects:	Computer science. Software engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book