Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Verified Software: Theories, Tools, Experiments

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

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

Natarajan Shankar

Jim Woodcock

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01570696

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, září 2008

This volume contains the proceedings of the second working conference on Verified Software: Theories... Celý popis

Libristo kód: 01570696

118 b

1 181 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Landschaften Der Erinnerung Elke Mehnert

Brožovaná

2 407 Kč

Flux Attwenger

Audio CD

508 Kč

Mirabilia CONRAD ROSET

Brožovaná

607 Kč

Perspektive Gerhard Tschauder

Pevná

2 731 Kč

Gesänge der Liebe Hans-Peter Kolb

Pevná

529 Kč

Ethisches Argumentieren Katharina Klöcker

Brožovaná

1 130 Kč

Some Girls do Jennifer Dugan

Brožovaná

381 Kč

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

List

111 Kč

Traumazentrierte Psychotherapie, Studienausgabe Ulrich Sachsse

Brožovaná

865 Kč

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

Pevná

1 644 Kč

Frost Thomas Bernhard

Brožovaná

289 Kč

Weibliche Autonomie: Handeln im demokratischen Rechtsstaat Vinicius Da Silva

Brožovaná

1 318 Kč

Lei de Seguros Obrigatorios Iranianos Karimi Amirmohammad Karimi

Brožovaná

813 Kč

Quantum: el abuelo y la nieta Capetillo Blanco

Brožovaná

536 Kč

MIRADAS CLAVERO

Kniha

570 Kč

Innovation collaborative BOUCHEZ

Brožovaná

858 Kč

Les derniers jours de la gauche Barbier

Brožovaná

554 Kč

Survival - In den Krallen des Leguans Stefani Kampmann

Pevná

240 Kč

Subtile Signale in Texten Jens Korbus

Brožovaná

287 Kč

Allgemeine Haftpflichtversicherung Joachim Kuwert

Brožovaná

1 214 Kč

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

Brožovaná

489 Kč

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

Brožovaná

217 Kč

Mundwerk Thomas Godoj

Audio CD

387 Kč

Tentateur LaCroix-J

Brožovaná

585 Kč

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.