Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Programmentwicklung Und Verifikation

Name: Programmentwicklung Und Verifikation
Brand: Springer Verlag GmbH
SKU: 06798805
Price: 67.28 EUR
Availability: InStock
Author: Gerald Futschek
ISBN: 9783211818671

Gerald Futschek

Jazyk

Nemčina

Kniha Brožovaná

Libristo kód: 06798805

Nakladateľstvo Springer Verlag GmbH, marec 1989

Die entscheidenden Argumente für die Korrektheit eines Programms können am einfachsten schon bei sei... Celý popis

Libristo kód: 06798805

163 b

67.28 €

Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Resistance in an Amazonian Community Larry Ziegler-Otero

Pevná

141.23 €

Heaven and Earth Nora Roberts

Brožovaná

13.41 €

Ako se trudiš, nikad ne gubiš

Pevná

11.09 €

Lisa's Journey Effie Lada

Pevná

16.13 €

5 minut na słówka angielskie Ucz się metodą map myśli Poziom A1 wyd.2 PONS Opracowanie zbiorowe

Brožovaná

9.17 €

¿CÓMO REMEDIAR LA VIOLENCIA DE GÉNERO? MUNTANÉ SÁNCHEZ

Brožovaná

17.65 €

Superior German Engineering: 120 Pages I 6x9 I Graph Paper 5x5 I Funny Doberman & Pinscher Dog Gifts Funny Notebooks

Brožovaná

8.06 €

Rust Belt Arcana: Tarot and Natural History in the Exurban Wilds Matt Stansberry

Brožovaná

13.81 €

Autism and Your Teen Blythe Grossberg

Brožovaná

22.49 €

Proud to be From Utah Lee Keesling

Brožovaná

8.06 €

The Moon Pool A Merritt

Brožovaná

9.68 €

At the End of All Magic Jeffrey Hewitt

Brožovaná

9.78 €

Leo Strauss on Nietzsche's Thus Spoke Zarathustra Leo Strauss

Pevná

53.06 €

Pathogenesis of Leishmaniasis Abhay Satoskar

Brožovaná

109.15 €

Arbitraging Japan Hirokazu Miyazaki

Pevná

104.31 €

Decaying Barns of North America Carl Platten

Brožovaná

14.92 €

Modulation de la R ponse Immunitaire Par Des Glycolipides Parasitaires Françoise Debierre-Grockiego

Brožovaná

25.92 €

Lightning Activity and Climate Change with Ncep and Crcm Data Abderrazak Arif

Brožovaná

43.67 €

Diagnosis of Electron Cyclotron Heating Power Deposition on Plasma Mehdi Davoudi

Brožovaná

49.83 €

Teenagers Use of the Internet Tefera Teklu

Brožovaná

49.83 €

Sick Building Syndrome Jack Rostron

Brožovaná

179.57 €

Behold the Antichrist Delos B. McKown

Pevná

25.92 €

Organisational Transformation in the Russian Oil Industry Sarah Dixon

Pevná

154.14 €

KJV Emerald Text Bible, Black French Morocco Leather, KJ533:T Cambridge University Press

Pevná

69.70 €

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.