Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Programmentwicklung Und Verifikation

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

Gerald Futschek

Język

Niemiecki

Książka Miękka

Kod Libristo: 06798805

Wydawnictwo Springer Verlag GmbH, marzec 1989

Die entscheidenden Argumente für die Korrektheit eines Programms können am einfachsten schon bei sei... Cały opis

Kod Libristo: 06798805

163 b

289.69 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Resistance in an Amazonian Community Larry Ziegler-Otero

Twarda

635.00 zł

Autism and Your Teen Blythe Grossberg

Miękka

102.35 zł

Heaven and Earth Nora Roberts

Miękka

61.39 zł

Pathogenesis of Leishmaniasis Abhay Satoskar

Miękka

491.27 zł

Leo Strauss on Nietzsche's Thus Spoke Zarathustra Leo Strauss

Twarda

237.75 zł

At the End of All Magic Jeffrey Hewitt

Miękka

44.31 zł

The Moon Pool A Merritt

Miękka

44.21 zł

Proud to be From Utah Lee Keesling

Miękka

36.69 zł

Child's Psalm Karen S Grathoff

Miękka

53.05 zł

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

Miękka

72.77 zł

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

Miękka

36.69 zł

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

Miękka

76.43 zł

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

Miękka

33.53 zł

Lisa's Journey Effie Lada

Twarda

73.99 zł

Ako se trudiš, nikad ne gubiš

Twarda

47.77 zł

Arbitraging Japan Hirokazu Miyazaki

Twarda

467.89 zł

Decaying Barns of North America Carl Platten

Miękka

67.59 zł

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

Miękka

111.60 zł

Cryptographie, Chaos et Images Abir Awad

Miękka

236.83 zł

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

Miękka

187.84 zł

Diagnosis of Electron Cyclotron Heating Power Deposition on Plasma Mehdi Davoudi

Miękka

214.37 zł

Teenagers Use of the Internet Tefera Teklu

Miękka

214.37 zł

Sick Building Syndrome Jack Rostron

Miękka

852.94 zł

Behold the Antichrist Delos B. McKown

Twarda

118.21 zł

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.