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!

Keine Ergebnisse!