Programmentwicklung Und Verifikation

Name: Programmentwicklung Und Verifikation
Brand: Springer Verlag GmbH
SKU: 9783211818671
Price: 278.58 PLN
Availability: InStock

Autor: Gerald Futschek

Język:

Oprawa: Miękka

Wydawca: Springer Verlag GmbH

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

278.58 zł

Die entscheidenden Argumente für die Korrektheit eines Programms können am einfachsten schon bei sei...

Informacje o książce

Autor

Gerald Futschek

Język

Niemiecki

Oprawa

Książka - Miękka

Data wydania

1989

strony

183

EAN

9783211818671

ISBN

3211818677

Enbook ID

06798805

Wydawca

Springer Verlag GmbH

Waga

331

Wymiary

170 x 244 x 11

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Programmentwicklung Und Verifikation

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również