Correct system design : recent insights and advances /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Steffen, Bernhard, Olderog, E.-R
Format:	eBook
Language:	English
Published:	New York : Springer, 1999.
Series:	Lecture notes in computer science ; 1710.
Subjects:	System design. Computer systems > Reliability. correction programme. compilation. méthodologie programmation. Systèmes informatiques > Fiabilité. Linguagem De Programacao (Outras) Théorèmes > Démonstration automatique. Systèmes, Conception de. Ordinateurs > Fiabilité. Electronic books.
Online Access:	Connect to the full text of this electronic book

Description
Item Description:	Electronic resource.
Physical Description:	1 online resource (xiv, 415 pages) : illustrations
Bibliography:	Includes bibliographical references.
ISBN:	3540666249 9783540666240
ISSN:	0302-9743 ;