Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Juni 2001
Genre:	EDV / Informatik
	C / Computer Communication Networks / Computer communication systems / Computer programming / Computer programming / software engineering / computer science / Computerprogrammierung und Softwareentwicklung / Network hardware / Operating systems / Programming Techniques / Software Engineering / Software Engineering/Programming and Operating Systems mehr...
ISBN:	9780387951065
EAN-Code:	9780387951065
Verlag:	Springer EN
Einband:	Gebunden
Sprache:	English
Serie:	Texts in Computer Science
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	723 gr
Seiten:	332
Illustration:	XIX, 332 p.
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This book presents current methods for dealing with software reliability, illustrating the advantages and disadvantages of each method. The description of the techniques is intended for a non-expert audience with some minimal technical background. It also describes some advanced techniques, aimed at researchers and practitioners in software engineering. This reference will serve as an introduction to formal methods and techniques and will be a source for learning about various ways to enhance software reliability. Various projects and exercises give readers hands-on experience with the various formal methods and tools.