Stock image for illustration purposes only - book cover, edition or condition may vary.
Programmentwicklung Und Verifikation
Gerald Futschek
€ 84.75
FREE Delivery in Ireland
Description for Programmentwicklung Und Verifikation
Paperback / so. Series: Springers Angewandte Informatik. Num Pages: black & white illustrations, bibliography. BIC Classification: PBCD; UMX; UMZ. Category: (G) General (US: Trade). Dimension: 244 x 170 x 11. Weight in Grams: 331.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
1989
Publisher
Springer Verlag GmbH Austria
Language
German
Condition
New
Series
Springers Angewandte Informatik
Number of Pages
183
Place of Publication
Vienna, Austria
ISBN
9783211818671
SKU
V9783211818671
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Programmentwicklung Und Verifikation