Items related to Programmentwicklung und Verifikation (Springers Angewandte...
Synopsis
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.
"synopsis" may belong to another edition of this title.
Language Notes
Text: German
"About this title" may belong to another edition of this title.
Search results for Programmentwicklung und Verifikation (Springers Angewandte...
Stock Image
Programmentwicklung und Verifikation (Paperback)
Published by
Springer Verlag GmbH, Vienna, 1989
ISBN 10: 3211818677
ISBN 13: 9783211818671
New
Paperback
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. Die entscheidenden Argumente fuer die Korrektheit eines Programms koennen am einfachsten schon bei seiner Entwicklung festgehalten werden. Die Methoden, mit denen man den Korrektheitsbeweis Hand in Hand mit der Programmentwicklung fuehrt, werden in diesem Buch beschrieben. Die Programme und die Informationen fuer die Verifikation werden mit eigens zu diesem Zweck erweiterten Struktogrammen dargestellt. Die Methoden und die zahlreichen Beispiele sind unabhaengig von einer bestimmten Programmiersprache. Das Buch wendet sich nicht nur an die an Programmverifikation interessierten Leser, sondern an alle, die ein tieferes Verstaendnis 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 entscheidenden Argumente fuer die Korrektheit eines Programms koennen am einfachsten schon bei seiner Entwicklung festgehalten werden. Die Programme und die Informationen fuer die Verifikation werden mit eigens zu diesem Zweck erweiterten Struktogrammen dargestellt. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783211818671
Stock Image
Programmentwicklung Und Verifikation (Springers Angewandte Informatik)
Print on DemandSeller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 192 pages. German language. 9.53x6.77x0.39 inches. In Stock. This item is printed on demand. Seller Inventory # __3211818677
Buy New
US$ 76.74
US$ 13.55 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Programmentwicklung und Verifikation (Springers Angewandte Informatik) (German Edition)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783211818671_new
Buy New
US$ 85.18
US$ 16.23 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Programmentwicklung und Verifikation
Published by
Springer Vienna Mrz 1989, 1989
ISBN 10: 3211818677
ISBN 13: 9783211818671
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 204 pp. Deutsch. Seller Inventory # 9783211818671
Buy New
US$ 83.75
US$ 26.72 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Stock Image
Programmentwicklung und Verifikation
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 204. Seller Inventory # 26101077668
Stock Image
Programmentwicklung und Verifikation
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 204 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam. Seller Inventory # 108129659
Buy New
US$ 110.68
US$ 8.81 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Programmentwicklung und Verifikation (Paperback)
Published by
Springer Verlag GmbH, Vienna, 1989
ISBN 10: 3211818677
ISBN 13: 9783211818671
New
Paperback
Seller: AussieBookSeller, Truganina, VIC, Australia
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. Die entscheidenden Argumente fuer die Korrektheit eines Programms koennen am einfachsten schon bei seiner Entwicklung festgehalten werden. Die Methoden, mit denen man den Korrektheitsbeweis Hand in Hand mit der Programmentwicklung fuehrt, werden in diesem Buch beschrieben. Die Programme und die Informationen fuer die Verifikation werden mit eigens zu diesem Zweck erweiterten Struktogrammen dargestellt. Die Methoden und die zahlreichen Beispiele sind unabhaengig von einer bestimmten Programmiersprache. Das Buch wendet sich nicht nur an die an Programmverifikation interessierten Leser, sondern an alle, die ein tieferes Verstaendnis 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 entscheidenden Argumente fuer die Korrektheit eines Programms koennen am einfachsten schon bei seiner Entwicklung festgehalten werden. Die Programme und die Informationen fuer die Verifikation werden mit eigens zu diesem Zweck erweiterten Struktogrammen dargestellt. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. Seller Inventory # 9783211818671
Buy New
US$ 88.55
US$ 37.00 shipping
Ships from Australia to U.S.A.
Ships from Australia to U.S.A.
Quantity: 1 available
Stock Image
Programmentwicklung und Verifikation
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 204. Seller Inventory # 18101077678
Buy New
US$ 120.97
US$ 11.56 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 4 available
Stock Image
Programmentwicklung Und Verifikation (Springers Angewandte Informatik)
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 192 pages. German language. 9.53x6.77x0.39 inches. In Stock. Seller Inventory # x-3211818677
Buy New
US$ 120.97
US$ 13.55 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Seller Image
Programmentwicklung und Verifikation
Print on DemandSeller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Die entscheidenden Argumente fuer die Korrektheit eines Programms koennen am einfachsten schon bei seiner Entwicklung festgehalten werden. Die Methoden, mit denen man den Korrektheitsbeweis Hand in Hand mit der Programmentwicklung fuehrt, werden in diesem Buch. Seller Inventory # 4488528
Buy New
US$ 83.75
US$ 56.92 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available