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 FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

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
371.78 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 806.03 lei
Heaven and Earth Nora Roberts / Carte Carte broșată
common.buy 79.45 lei
Ako se trudiš, nikad ne gubiš / Carte Copertă tare
common.buy 52.27 lei
Lisa's Journey Effie Lada / Carte Copertă tare
common.buy 110.37 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 48.12 lei
¿CÓMO REMEDIAR LA VIOLENCIA DE GÉNERO? MUNTANÉ SÁNCHEZ / Carte Carte broșată
common.buy 92.63 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 46.88 lei
Top
Rust Belt Arcana: Tarot and Natural History in the Exurban Wilds Matt Stansberry / Carte Carte broșată
common.buy 89.00 lei
Autism and Your Teen Blythe Grossberg / Carte Carte broșată
common.buy 117.11 lei
Proud to be From Utah Lee Keesling / Carte Carte broșată
common.buy 46.88 lei
The Moon Pool A Merritt / Carte Carte broșată
common.buy 56.63 lei
At the End of All Magic Jeffrey Hewitt / Carte Carte broșată
common.buy 56.84 lei
Leo Strauss on Nietzsche's Thus Spoke Zarathustra Leo Strauss / Carte Copertă tare
common.buy 290.14 lei
Pathogenesis of Leishmaniasis Abhay Satoskar / Carte Carte broșată
common.buy 598.66 lei
Arbitraging Japan Hirokazu Miyazaki / Carte Copertă tare
common.buy 592.74 lei
Decaying Barns of North America Carl Platten / Carte Carte broșată
common.buy 86.61 lei
Modulation de la R ponse Immunitaire Par Des Glycolipides Parasitaires Françoise Debierre-Grockiego / Carte Carte broșată
common.buy 143.87 lei
Lightning Activity and Climate Change with Ncep and Crcm Data Abderrazak Arif / Carte Carte broșată
common.buy 242.11 lei
Diagnosis of Electron Cyclotron Heating Power Deposition on Plasma Mehdi Davoudi / Carte Carte broșată
common.buy 261.41 lei
Teenagers Use of the Internet Tefera Teklu / Carte Carte broșată
common.buy 261.41 lei
Sick Building Syndrome Jack Rostron / Carte Carte broșată
common.buy 1 028.03 lei
Behold the Antichrist Delos B. McKown / Carte Copertă tare
common.buy 152.28 lei
Organisational Transformation in the Russian Oil Industry Sarah Dixon / Carte Copertă tare
common.buy 808.21 lei
KJV Emerald Text Bible, Black French Morocco Leather, KJ533:T Cambridge University Press / Carte Copertă tare
common.buy 414.11 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

Top
Equine Fitness: A Program of Exercises and Routines for Your Horse Jec Aristotle Ballou / Carte Carte broșată
common.buy 99.78 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
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?