Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Verified Software: Theories, Tools, Experiments

Name: Verified Software: Theories, Tools, Experiments
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01570696
Price: 48.85 EUR
Availability: InStock
Author: Natarajan Shankar
ISBN: 9783540878728

Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings

Natarajan Shankar

Jim Woodcock

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 01570696

Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, september 2008

This volume contains the proceedings of the second working conference on Verified Software: Theories... Celoten opis

Koda Libristo: 01570696

118 b

48.85 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Lei de Seguros Obrigatorios Iranianos Karimi Amirmohammad Karimi

Mehka

33.57 €

Allgemeine Haftpflichtversicherung Joachim Kuwert

Mehka

50.16 €

Frost Thomas Bernhard

Mehka

11.93 €

Weibliche Autonomie: Handeln im demokratischen Rechtsstaat Vinicius Da Silva

Mehka

54.51 €

Versuch einer neuen Theorie des menschlichen Vorstellungsvermögens. Teilband 2. Tl.2 Karl L. Reinhold

Trda

60.79 €

Traumazentrierte Psychotherapie, Studienausgabe Ulrich Sachsse

Mehka

35.70 €

Mein Mathe-Lernheft - Sachrechnen und Größen Jan Boesten

Preglednica

3.83 €

Gesänge der Liebe Hans-Peter Kolb

Trda

21.84 €

Ethisches Argumentieren Katharina Klöcker

Mehka

42.27 €

Some Girls do Jennifer Dugan

Mehka

12.74 €

Česko dětem 2

Zemljevid

3.02 €

Flux Attwenger

Zvočni CD

21.03 €

Perspektive Gerhard Tschauder

Trda

112.88 €

Mirabilia CONRAD ROSET

Mehka

19.21 €

Landschaften Der Erinnerung Elke Mehnert

Mehka

99.43 €

Mundwerk Thomas Godoj

Zvočni CD

11.12 €

Tentateur LaCroix-J

Mehka

25.38 €

Die wahre Geschichte von McDonald's Ray Kroc

Mehka

15.57 €

Ako sa Ela naučila vidieť neviditeľné Zuzana Líšková

Trda

5.96 €

Quantum: el abuelo y la nieta Capetillo Blanco

Mehka

20.32 €

Feuilles de travail pour la thérapie cognitivo-comportementale pour la dépression: Manuel de CBT pour faire face ? l'humeur de contrôle de l'anxiété, Jacquelyn Lefebvre

Mehka

8.99 €

Das Problem Einer Internationalen Orthographie-Reform (1901) Th Sprater

Mehka

20.22 €

Subtile Signale in Texten Jens Korbus

Mehka

11.83 €

Survival - In den Krallen des Leguans Stefani Kampmann

Trda

9.90 €

This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. §The 16 papers presented together with 4 invited talks were carefully revised and selected for inclusion in the book. This second conference formally inaugurates the Verified Software Initiative (VSI), a fifteen-year, co-operative, international project directed at the scientific challenges of large-scale software verification. The scope of the cooperative effort includes the sharing and interoperability of tools, the alignment of theory and practice, the identification of challenge problems, the construction of benchmark suites, and the execution of large-scale experiments.