High integrity software

High integrity software

Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Winter, Victor L. (BerichterstatterIn), Bhattacharya, Sourav (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Boston, Mass. u.a. Kluwer Academic Publishers 2001
Schriftenreihe:Kluwer international series in engineering and computer science 577
Schlagworte:
Computer software > Reliability > Development > Programmverifikation > Softwareentwicklung
Online Zugang:Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Includes bibliographical references and index
Beschreibung:XIV, 320 S.
graph. Darst.
ISBN:0792379497
0-7923-7949-7