Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Verified Software: Theories, Tools, Experiments

Name: Verified Software: Theories, Tools, Experiments
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01567838
Price: 108.69 EUR
Availability: InStock
Author: Bertrand Meyer
ISBN: 9783540691471

First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Bertrand Meyer

Jim Woodcock

Език

Английски език

Книга С меки корици

Код Либристо: 01567838

Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, юли 2008

This state-of-the-art survey is an outcome of the first IFIP TC 2/WG 2.3 working conference on Verif... Цялото описание

Код Либристо: 01567838

263 b

108.69 €

212.58 лв

Външен склад Изпращаме след 5-8 дни

30 дни за връщане на стоката

Клиентите са закупили също

Vom Wesen der Illusion Michael Ackermann

С меки корици

9.21 € 18.02 лв

Space Rat 1: Intergalaktisch (Legendary Edition) Mathias Tikwa Neumann

С меки корици

14.81 € 28.96 лв

BABADADA, Tiếng Việt - Suomi, từ điển tranh minh họa - kuvasanakirja Babadada Gmbh

С меки корици

28.37 € 55.49 лв

Them's Fightin' Herds, 1 PS4-Blu-ray Disc

Blu-ray

53.54 € 104.72 лв

Baby to Go, 1 Blu-ray Sophie Barthes

Blu-ray

22.99 € 44.96 лв

Vom Lernen und Lehren Samson Raphael Hirsch

С меки корици

28.37 € 55.49 лв

tempo dei padri. L'istinto maschile nella cura dei figli Sarah Blaffer Hrdy

С меки корици

37.33 € 73.02 лв

Sistemas de aeronaves de turbina II FELIPE GATO GUTIERREZ

С меки корици

48.47 € 94.79 лв

Gr'ce Ancienne. L'Espace Et Le Temps(la) T2 Jean-Pierre Vernant

С меки корици

12.27 € 23.99 лв

Lehrbuch der Personalpsychologie einz Schuler

С твърди корици

99.47 € 194.56 лв

Der Gärtner Rabindranath Tagore

С твърди корици

11.44 € 22.37 лв

Der Realitätenkellner Werner A. Leeb

С меки корици

39.04 € 76.36 лв

Hellsehen Charles W. Leadbeater

Книга

14.08 € 27.54 лв

Aus Der Chronik Eines Geistlichen Herrn Emil Wilhelm Frommel

С твърди корици

28.37 € 55.49 лв

Klassische Reitkunst mit Anja Beran Anja Beran

С твърди корици

53.44 € 104.51 лв

Selbsterkenntnis und Gotteserkenntnis. Bd.1 Rudolf Steiner

С твърди корици

71.87 € 140.57 лв

Politik in den Massenmedien Udo Michel

С меки корици

17.14 € 33.51 лв

Das Käthchen von Heilbronn Heinrich von Kleist

С меки корици

8.54 € 16.70 лв

Rund um ... - Sekundarstufe I Ute Fenske

С меки корици

29.67 € 58.03 лв

Natur und Technik - Biologie (Ausgabe 2011) - Gesamtschule/Sekundarschule Nordrhein-Westfalen - Differenzierende Ausgabe - Band 2 Monika Bartels-Eder

С твърди корици

51.52 € 100.77 лв

This state-of-the-art survey is an outcome of the first IFIP TC 2/WG 2.3 working conference on Verified Software: Theories, Tools, Experiments, VSTTE 2005, held in Zurich, Switzerland, in October 2005. This was a historic event gathering many top international experts on systematic methods for specifying, building and verifying high-quality software.§The book includes 32 revised full papers and 27 revised position papers, preceded by a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying compiler". Most contributions are followed by a transcription of the vivid discussion that ensued between the author and the audience. The papers have been organized in topical sections on verification tools, guaranteeing correctness, software engineering aspects, verifying object-oriented programming, programming language and methodology aspects, components, static analysis, design, analysis and tools, as well as formal techniques.