Programmentwicklung und Verifikation: Mit zahlr. Beisp. (Springers Angewandte Informatik) - Softcover

Futschek, Gerald

 
9783211818671: Programmentwicklung und Verifikation: Mit zahlr. Beisp. (Springers Angewandte Informatik)
Softcover
ISBN 10: 3211818677 ISBN 13: 9783211818671
Verlag: Springer, 2013

Inhaltsangabe

Die entscheidenden Argumente für die Korrektheit eines Programms können am einfachsten schon bei seiner Entwicklung festgehalten werden. Die Methoden, mit denen man den Korrektheitsbeweis Hand in Hand mit der Programmentwicklung führt, werden in diesem Buch beschrieben. Die Programme und die Informationen für die Verifikation werden mit eigens zu diesem Zweck erweiterten Struktogrammen dargestellt. Die Methoden und die zahlreichen Beispiele sind unabhängig von einer bestimmten Programmiersprache. Das Buch wendet sich nicht nur an die an Programmverifikation interessierten Leser, sondern an alle, die ein tieferes Verständnis von Programmen erreichen wollen. Der Leser soll die vorgestellten Methoden und Denkweisen bei der Entwicklung seiner eigenen Programme anwenden lernen, um so effizientere und sicherere Software zu erzeugen.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2013
Sprache
Deutsch
ISBN 10 
3211818677
ISBN 13 
9783211818671
Einband
Taschenbuch
Auflage
1
Anzahl der Seiten
204
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland