Programmentwicklung Und Verifikation

Name: Programmentwicklung Und Verifikation
Brand: Springer Verlag GmbH
SKU: 9783211818671
Price: 361.49 RON
Availability: InStock

Autor: Gerald Futschek

Limbă:

Legare: Carte broșată

Editura: Springer Verlag GmbH

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

361.49 lei

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

Informații despre carte

Autor

Gerald Futschek

Limbă

germană

Legare

Carte - Carte broșată

Publicat

1989

Pagini

183

EAN

9783211818671

ISBN

3211818677

Enbook ID

06798805

Editura

Springer Verlag GmbH

Greutate

331

Dimensiuni

170 x 244 x 11

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Programmentwicklung Und Verifikation

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și