Mohlo by sa vám tiež páčiť

Viac informácií o knihe Programmentwicklung Und Verifikation

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 163 bodov

Anotácia knihy

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.

Parametre knihy

• Celý názov: Programmentwicklung Und Verifikation
• Autor: Gerald Futschek
• Jazyk: Nemčina
• Väzba: Brožovaná
• Počet strán: 183
• EAN: 9783211818671
• ISBN: 3211818677
• ID: 06798805
• Nakladateľ: Springer Verlag GmbH
• Hmotnosť: 331 g
• Rozmery: 244 × 170 × 11 mm
• Dátum vydania: 23. March 1989

Obľúbené z iného súdka

---

---

---