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 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
66.87 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Resistance in an Amazonian Community Larry Ziegler-Otero / Boek Gebonden
common.buy 146.68 €
Rust Belt Arcana: Tarot and Natural History in the Exurban Wilds Matt Stansberry / Boek Paperback
common.buy 18.24 €
Pathogenesis of Leishmaniasis Abhay Satoskar / Boek Paperback
common.buy 114.69 €
Leo Strauss on Nietzsche's Thus Spoke Zarathustra Leo Strauss / Boek Gebonden
common.buy 58.75 €
At the End of All Magic Jeffrey Hewitt / Boek Paperback
common.buy 10.22 €
Proud to be From Utah Lee Keesling / Boek Paperback
common.buy 8.52 €
Italiani Deportati 1863: Risorgimento. Deportazione Di Civili Meridionali in Campi Di Concentramento Miriam Maria Compagnino / Boek Paperback
common.buy 23.66 €
Autism and Your Teen Blythe Grossberg / Boek Paperback
common.buy 23.65 €
Heaven and Earth Nora Roberts / Boek Paperback
common.buy 14.53 €
Superior German Engineering: 120 Pages I 6x9 I Graph Paper 5x5 I Funny Doberman & Pinscher Dog Gifts Funny Notebooks / Boek Paperback
common.buy 8.52 €
Down Below and the Archon's Castle Michael A. Susko / Boek Paperback
common.buy 8.01 €
¿CÓMO REMEDIAR LA VIOLENCIA DE GÉNERO? MUNTANÉ SÁNCHEZ / Boek Paperback
common.buy 17.44 €
Automating Workflows with GitHub Actions Priscila Heller / Boek Paperback
common.buy 44.51 €
Microbial Mitigation of Stress Response of Food Legumes N. Amaresan / E-book Adobe ePub DRM
common.buy 247.15 €
5 minut na słówka angielskie Ucz się metodą map myśli Poziom A1 wyd.2 PONS Opracowanie zbiorowe / Boek Paperback
common.buy 8.51 €
Lisa's Journey Effie Lada / Boek Gebonden
common.buy 17.04 €
Ako se trudiš, nikad ne gubiš / Boek Gebonden
common.buy 9.82 €
Teenagers Use of the Internet Tefera Teklu / Boek Paperback
common.buy 51.83 €
South American Fights and Fighters And Other Tales of Adventure Cyrus Townsend Brady / Boek Paperback
common.buy 13.33 €
Reading in a Second Language William Grabe / Boek Gebonden
common.buy 139.06 €
Equine Fitness: A Program of Exercises and Routines for Your Horse Jec Aristotle Ballou / Boek Paperback
common.buy 18.24 €
KJV Emerald Text Bible, Black French Morocco Leather, KJ533:T Cambridge University Press / Boek Gebonden
common.buy 73.89 €
Organisational Transformation in the Russian Oil Industry Sarah Dixon / Boek Gebonden
common.buy 155.40 €
Behold the Antichrist Delos B. McKown / Boek Gebonden
common.buy 27.26 €

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 - 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

Walzer Des-Dur op.64,1 (Minute), Klavier Frédéric Chopin / Drukwerk Bladmuziek
common.buy 9.31 €
Sick Building Syndrome Jack Rostron / Boek Paperback
common.buy 197.01 €
Arbitraging Japan Hirokazu Miyazaki / Boek Gebonden
common.buy 99.15 €
Diagnosis of Electron Cyclotron Heating Power Deposition on Plasma Mehdi Davoudi / Boek Paperback
common.buy 51.83 €
Lightning Activity and Climate Change with Ncep and Crcm Data Abderrazak Arif / Boek Paperback
common.buy 43.30 €
Cryptographie, Chaos et Images Abir Awad / Boek Paperback
common.buy 54.74 €
Modulation de la R ponse Immunitaire Par Des Glycolipides Parasitaires Françoise Debierre-Grockiego / Boek Paperback
common.buy 25.76 €
Decaying Barns of North America Carl Platten / Boek Paperback
common.buy 15.63 €
Child's Psalm Karen S Grathoff / Boek Paperback
common.buy 12.22 €

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?