Programmentwicklung und Verifikation (German, Paperback)

Die entscheidenden Argumente fA1/4r die Korrektheit eines Programms kAnnen am einfachsten schon bei seiner Entwicklung festgehalten werden. Die Methoden, mit denen man den Korrektheitsbeweis Hand in Hand mit der Programmentwicklung fA1/4hrt, werden in diesem Buch beschrieben. Die Programme und die Informationen fA1/4r die Verifikation werden mit eigens zu diesem Zweck erweiterten Struktogrammen dargestellt. Die Methoden und die zahlreichen Beispiele sind unabhAngig von einer bestimmten Programmiersprache. Das Buch wendet sich nicht nur an die an Programmverifikation interessierten Leser, sondern an alle, die ein tieferes VerstAndnis 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.

General

Imprint:	Springer-Verlag
Country of origin:	Austria
Series:	Springers Angewandte Informatik
Release date:	March 1989
First published:	March 1989
Authors:	Gerald Futschek
Dimensions:	244 x 170 x 11mm (L x W x T)
Format:	Paperback
Pages:	183
ISBN-13:	978-3-211-81867-1
Languages:	German
Categories:	Books > Computing & IT > Computer programming > Programming languages > General
LSN:	3-211-81867-7
Barcode:	9783211818671

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!