Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Tests and Proofs

Name: Tests and Proofs
Brand: Springer International Publishing AG
SKU: 09361553
Price: 49.56 EUR
Availability: InStock
Author: Jasmin Christian Blanchette
ISBN: 9783319212142

9th International Conference, TAP 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 22-24, 2015. Proceedings

Jasmin Christian Blanchette

Nikolai Kosmatov

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 09361553

Nakladateľstvo Springer International Publishing AG, jún 2015

This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proo... Celý popis

Libristo kód: 09361553

120 b

49.56 €

Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Gannibal 6 Masaaki Ninomiya

Brožovaná

8.59 €

Algorytmika praktyczna Stańczyk Piotr

Brožovaná

32.06 €

Hort- Bzw. Depotfunde Der Fr hbronzezeit in Mitteldeutschland Und Ihr Indikatorischer Wert F r Den Nachweis Sozialer Eliten Silvester Tamas

Brožovaná

16.18 €

Leggere la scuola. Antologia e laboratori per la scuola secondaria di primo grado Alice Bigli

Brožovaná

27.91 €

Chancen und Risiken im Category Management beim Aufbau einer Bio-Handelsmarke in der Drogeriebranche Philipp Voshege

Brožovaná

42.78 €

Nevyřešené záhady Egypta Magdalena Zachardová

Pevná

9.50 €

Hameleony Gennadij Murzin

Brožovaná

40.05 €

Cahiers du Cinéma N°754 - Herbier - avril 2019

Brožovaná

9.20 €

Mesačná víla Samuel Salay

Pevná

3.83 €

Salin Kaliske Helene Böhlau

Brožovaná

32.97 €

Enchantimals 01 - Au secours de Felicity ! Mattel

Brožovaná

9.40 €

Dikkat Kan Araniyor Zehra Ebrar Bakir

Brožovaná

11.22 €

Préhistoires d'Europe Lehoerff anne

Kniha

33.27 €

Comptines pour se relaxer Gilles Diederichs

Brožovaná

18.20 €

Guarda Rural. Temario común para todas las modalidades Formación y Especialización en Seguridad (FYES)

Brožovaná

42.07 €

This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proofs, TAP 2015, held in L` Aquila, Italy, in July 2015, as part of the STAF 2015 Federated Conferences. The 11 revised full papers and 1 short papers presented together with 3 invited talks were carefully reviewed and selected from 21 submissions. The accepted papers contribute to various testing techniques (model-based, property-based, grammar-based, bounded-exhaustive), fault localization, model-driven engineering, as well as model coverage, consistency, and validation, among others. Many papers rely on interactive and automatic§theorem provers, including SMT solvers and model checkers.