Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Verified Software: Theories, Tools, Experiments

Name: Verified Software: Theories, Tools, Experiments
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01567838
Price: 102.95 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

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 01567838

Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, srpanj 2008

This state-of-the-art survey is an outcome of the first IFIP TC 2/WG 2.3 working conference on Verif... Cijeli opis

Libristo kod: 01567838

249 b

102.95 €

Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Politik in den Massenmedien Udo Michel

Meki uvez

16.17 €

Honey Lemon Soda T13

Meki uvez

10.31 €

Vom Wesen der Illusion Michael Ackermann

Meki uvez

8.69 €

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

Meki uvez

33.47 €

Vom Lernen und Lehren Samson Raphael Hirsch

Meki uvez

26.79 €

Lehrbuch der Personalpsychologie einz Schuler

Tvrdi uvez

94.15 €

Baby to Go, 1 Blu-ray Sophie Barthes

Blu-ray

20.82 €

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

Tvrdi uvez

44.09 €

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

Blu-ray

49.14 €

Exactitudes Noailles

Meki uvez

23.96 €

Rund um ... - Sekundarstufe I Ute Fenske

Meki uvez

28.21 €

Das Käthchen von Heilbronn Heinrich von Kleist

Meki uvez

7.78 €

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

Meki uvez

28.31 €

Der Gärtner Rabindranath Tagore

Tvrdi uvez

12.13 €

Selbsterkenntnis und Gotteserkenntnis. Bd.1 Rudolf Steiner

Tvrdi uvez

64.51 €

Klassische Reitkunst mit Anja Beran Anja Beran

Tvrdi uvez

53.79 €

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

Meki uvez

14.76 €

Aus Der Chronik Eines Geistlichen Herrn Emil Wilhelm Frommel

Tvrdi uvez

26.79 €

Hellsehen Charles W. Leadbeater

Knjiga

12.63 €

Sistemas de aeronaves de turbina II FELIPE GATO GUTIERREZ

Meki uvez

44.19 €

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

Meki uvez

11.01 €

Der Realitätenkellner Werner A. Leeb

Meki uvez

36.90 €

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.