Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Programmentwicklung Und Verifikation

Limba germanăgermană
Carte Carte broșată
Carte Programmentwicklung Und Verifikation Gerald Futschek
Codul Libristo: 06798805
Editura Springer Verlag GmbH, martie 1989
Die entscheidenden Argumente für die Korrektheit eines Programms können am einfachsten schon bei sei... Descrierea completă
? points 172 b
374.70 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Resistance in an Amazonian Community Larry Ziegler-Otero / Carte Copertă tare
common.buy 812.35 lei
Rust Belt Arcana: Tarot and Natural History in the Exurban Wilds Matt Stansberry / Carte Carte broșată
common.buy 89.69 lei
Pathogenesis of Leishmaniasis Abhay Satoskar / Carte Carte broșată
common.buy 603.35 lei
Leo Strauss on Nietzsche's Thus Spoke Zarathustra Leo Strauss / Carte Copertă tare
common.buy 292.42 lei
At the End of All Magic Jeffrey Hewitt / Carte Carte broșată
common.buy 57.28 lei
The Moon Pool A Merritt / Carte Carte broșată
common.buy 57.07 lei
Proud to be From Utah Lee Keesling / Carte Carte broșată
common.buy 47.25 lei
Autism and Your Teen Blythe Grossberg / Carte Carte broșată
common.buy 131.30 lei
Heaven and Earth Nora Roberts / Carte Carte broșată
common.buy 80.08 lei
Superior German Engineering: 120 Pages I 6x9 I Graph Paper 5x5 I Funny Doberman & Pinscher Dog Gifts Funny Notebooks / Carte Carte broșată
common.buy 47.25 lei
Down Below and the Archon's Castle Michael A. Susko / Carte Carte broșată
common.buy 44.42 lei
¿CÓMO REMEDIAR LA VIOLENCIA DE GÉNERO? MUNTANÉ SÁNCHEZ / Carte Carte broșată
common.buy 93.88 lei
Automating Workflows with GitHub Actions Priscila Heller / Carte Carte broșată
common.buy 247.98 lei
5 minut na słówka angielskie Ucz się metodą map myśli Poziom A1 wyd.2 PONS Opracowanie zbiorowe / Carte Carte broșată
common.buy 47.45 lei
Lisa's Journey Effie Lada / Carte Copertă tare
common.buy 96.49 lei
Ako se trudiš, nikad ne gubiš / Carte Copertă tare
common.buy 52.47 lei
Arbitraging Japan Hirokazu Miyazaki / Carte Copertă tare
common.buy 597.39 lei
Child's Psalm Karen S Grathoff / Carte Carte broșată
common.buy 68.16 lei
Decaying Barns of North America Carl Platten / Carte Carte broșată
common.buy 87.29 lei
Modulation de la R ponse Immunitaire Par Des Glycolipides Parasitaires Françoise Debierre-Grockiego / Carte Carte broșată
common.buy 145.00 lei
Cryptographie, Chaos et Images Abir Awad / Carte Carte broșată
common.buy 307.68 lei
Lightning Activity and Climate Change with Ncep and Crcm Data Abderrazak Arif / Carte Carte broșată
common.buy 244.01 lei
Diagnosis of Electron Cyclotron Heating Power Deposition on Plasma Mehdi Davoudi / Carte Carte broșată
common.buy 262.83 lei
Teenagers Use of the Internet Tefera Teklu / Carte Carte broșată
common.buy 262.83 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Programmentwicklung Und Verifikation
Autor Gerald Futschek
Limba germană
Legare Carte - Carte broșată
Data publicării 1989
Număr pagini 183
EAN 9783211818671
ISBN 3211818677
Codul Libristo 06798805
Editura Springer Verlag GmbH
Greutatea 331
Dimensiuni 170 x 244 x 11

Categorii

Computing & Information Technology > Computer programming / software engineering
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Walzer Des-Dur op.64,1 (Minute), Klavier Frédéric Chopin / Materiale tipărite Note muzicale
common.buy 47.66 lei
Sick Building Syndrome Jack Rostron / Carte Carte broșată
common.buy 1 092.96 lei
Behold the Antichrist Delos B. McKown / Carte Copertă tare
common.buy 153.47 lei
Organisational Transformation in the Russian Oil Industry Sarah Dixon / Carte Copertă tare
common.buy 814.54 lei
KJV Emerald Text Bible, Black French Morocco Leather, KJ533:T Cambridge University Press / Carte Copertă tare
common.buy 417.35 lei
Equine Fitness: A Program of Exercises and Routines for Your Horse Jec Aristotle Ballou / Carte Carte broșată
common.buy 100.57 lei
South American Fights and Fighters And Other Tales of Adventure Cyrus Townsend Brady / Carte Carte broșată
common.buy 75.37 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo