Articles liés à Programmentwicklung und Verifikation
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Programmentwicklung und Verifikation
Image d'archives
Programmentwicklung und Verifikation (Paperback)
Edité par
Springer Verlag GmbH, Vienna, 1989
ISBN 10 : 3211818677
ISBN 13 : 9783211818671
Neuf
Paperback
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : 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. N° de réf. du vendeur 9783211818671
Acheter neuf
EUR 68,94
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Programmentwicklung Und Verifikation (Springers Angewandte Informatik)
impression à la demandeVendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 192 pages. German language. 9.53x6.77x0.39 inches. In Stock. This item is printed on demand. N° de réf. du vendeur __3211818677
Acheter neuf
EUR 66,18
Expédition à EUR 11,68
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Programmentwicklung und Verifikation (Springers Angewandte Informatik) (German Edition)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783211818671_new
Acheter neuf
EUR 73,46
Expédition à EUR 14
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Programmentwicklung und Verifikation
Edité par
Springer Vienna Mrz 1989, 1989
ISBN 10 : 3211818677
ISBN 13 : 9783211818671
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9783211818671
Acheter neuf
EUR 69,99
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Programmentwicklung und Verifikation
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 204. N° de réf. du vendeur 26101077668
Acheter neuf
EUR 97,21
Expédition à EUR 3,44
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Programmentwicklung und Verifikation
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : 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. N° de réf. du vendeur 108129659
Acheter neuf
EUR 98,37
Expédition à EUR 7,59
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Programmentwicklung und Verifikation (Paperback)
Edité par
Springer Verlag GmbH, Vienna, 1989
ISBN 10 : 3211818677
ISBN 13 : 9783211818671
Neuf
Paperback
Vendeur : AussieBookSeller, Truganina, VIC, Australie
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : 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. N° de réf. du vendeur 9783211818671
Acheter neuf
EUR 76,29
Expédition à EUR 31,93
Expédition depuis Australie vers Etats-Unis
Expédition depuis Australie vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Programmentwicklung und Verifikation
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. PRINT ON DEMAND pp. 204. N° de réf. du vendeur 18101077678
Acheter neuf
EUR 101,09
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Programmentwicklung Und Verifikation (Springers Angewandte Informatik)
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 192 pages. German language. 9.53x6.77x0.39 inches. In Stock. N° de réf. du vendeur x-3211818677
Acheter neuf
EUR 104,32
Expédition à EUR 11,68
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Programmentwicklung und Verifikation
impression à la demandeVendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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. N° de réf. du vendeur 4488528
Acheter neuf
EUR 69,99
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles