Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Programmentwicklung Und Verifikation

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

Gerald Futschek

Língua

Alemão

Livro Capa mole

Código Libristo: 06798805

Editoras Springer Verlag GmbH, março 1989

Die entscheidenden Argumente für die Korrektheit eines Programms können am einfachsten schon bei sei... Descrição completa

Código Libristo: 06798805

146 b

60.24 €

Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Resistance in an Amazonian Community Larry Ziegler-Otero

Livro de capa dura

129.20 €

Heaven and Earth Nora Roberts

Capa mole

11.64 €

Ako se trudiš, nikad ne gubiš

Livro de capa dura

8.90 €

Lisa's Journey Effie Lada

Livro de capa dura

14.07 €

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

Capa mole

7.58 €

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

Capa mole

14.67 €

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

Capa mole

7.28 €

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

Capa mole

12.04 €

Autism and Your Teen Blythe Grossberg

Capa mole

19.23 €

Proud to be From Utah Lee Keesling

Capa mole

7.28 €

The Moon Pool A Merritt

Capa mole

8.70 €

At the End of All Magic Jeffrey Hewitt

Capa mole

8.80 €

Leo Strauss on Nietzsche's Thus Spoke Zarathustra Leo Strauss

Livro de capa dura

48.60 €

Pathogenesis of Leishmaniasis Abhay Satoskar

Capa mole

99.13 €

Arbitraging Japan Hirokazu Miyazaki

Livro de capa dura

95.78 €

Decaying Barns of North America Carl Platten

Capa mole

13.36 €

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

Capa mole

22.98 €

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

Capa mole

38.67 €

Diagnosis of Electron Cyclotron Heating Power Deposition on Plasma Mehdi Davoudi

Capa mole

42.22 €

Teenagers Use of the Internet Tefera Teklu

Capa mole

42.22 €

Sick Building Syndrome Jack Rostron

Capa mole

163.53 €

Behold the Antichrist Delos B. McKown

Livro de capa dura

22.88 €

Organisational Transformation in the Russian Oil Industry Sarah Dixon

Livro de capa dura

132.85 €

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

Livro de capa dura

60.65 €

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.