Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Programmentwicklung Und Verifikation

Taal DuitsDuits
Boek Gebonden (paperback)
Boek Programmentwicklung Und Verifikation Gerald Futschek
Libristo-code: 06798805
Uitgeverij Springer Verlag GmbH, maart 1989
Die entscheidenden Argumente für die Korrektheit eines Programms können am einfachsten schon bei sei... Volledige beschrijving
? points 163 b
67.46 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Resistance in an Amazonian Community Larry Ziegler-Otero / Boek Gebonden (harde band)
common.buy 147.88 €
Heaven and Earth Nora Roberts / Boek Gebonden (paperback)
common.buy 14.25 €
Ako se trudiš, nikad ne gubiš / Boek Gebonden (harde band)
common.buy 10.00 €
Lisa's Journey Effie Lada / Boek Gebonden (harde band)
common.buy 17.19 €
5 minut na słówka angielskie Ucz się metodą map myśli Poziom A1 wyd.2 PONS Opracowanie zbiorowe / Boek Gebonden (paperback)
common.buy 9.20 €
¿CÓMO REMEDIAR LA VIOLENCIA DE GÉNERO? MUNTANÉ SÁNCHEZ / Boek Gebonden (paperback)
common.buy 17.69 €
Superior German Engineering: 120 Pages I 6x9 I Graph Paper 5x5 I Funny Doberman & Pinscher Dog Gifts Funny Notebooks / Boek Gebonden (paperback)
common.buy 8.59 €
Rust Belt Arcana: Tarot and Natural History in the Exurban Wilds Matt Stansberry / Boek Gebonden (paperback)
common.buy 15.57 €
Autism and Your Teen Blythe Grossberg / Boek Gebonden (paperback)
common.buy 22.85 €
Proud to be From Utah Lee Keesling / Boek Gebonden (paperback)
common.buy 8.59 €
The Moon Pool A Merritt / Boek Gebonden (paperback)
common.buy 10.31 €
At the End of All Magic Jeffrey Hewitt / Boek Gebonden (paperback)
common.buy 10.31 €
Leo Strauss on Nietzsche's Thus Spoke Zarathustra Leo Strauss / Boek Gebonden (harde band)
common.buy 57.85 €
Pathogenesis of Leishmaniasis Abhay Satoskar / Boek Gebonden (paperback)
common.buy 119.66 €
Arbitraging Japan Hirokazu Miyazaki / Boek Gebonden (harde band)
common.buy 108.94 €
Decaying Barns of North America Carl Platten / Boek Gebonden (paperback)
common.buy 15.77 €
Modulation de la R ponse Immunitaire Par Des Glycolipides Parasitaires Françoise Debierre-Grockiego / Boek Gebonden (paperback)
common.buy 25.99 €
Lightning Activity and Climate Change with Ncep and Crcm Data Abderrazak Arif / Boek Gebonden (paperback)
common.buy 43.79 €
Diagnosis of Electron Cyclotron Heating Power Deposition on Plasma Mehdi Davoudi / Boek Gebonden (paperback)
common.buy 52.59 €
Teenagers Use of the Internet Tefera Teklu / Boek Gebonden (paperback)
common.buy 52.59 €
Sick Building Syndrome Jack Rostron / Boek Gebonden (paperback)
common.buy 188.34 €
Behold the Antichrist Delos B. McKown / Boek Gebonden (harde band)
common.buy 27.50 €
Organisational Transformation in the Russian Oil Industry Sarah Dixon / Boek Gebonden (harde band)
common.buy 154.86 €
KJV Emerald Text Bible, Black French Morocco Leather, KJ533:T Cambridge University Press / Boek Gebonden (harde band)
common.buy 85.47 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Programmentwicklung Und Verifikation
Auteur Gerald Futschek
Taal Duits
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1989
Aantal pagina's 183
EAN 9783211818671
ISBN 3211818677
Libristo-code 06798805
Uitgeverij Springer Verlag GmbH
Gewicht 331
Afmetingen 170 x 244 x 11

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Equine Fitness: A Program of Exercises and Routines for Your Horse Jec Aristotle Ballou / Boek Gebonden (paperback)
common.buy 18.00 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?