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č PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 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.

Tests and Proofs

Name: Tests and Proofs
Brand: Springer International Publishing AG
SKU: 09361553
Price: 1135 CZK
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

Nakladatelství Springer International Publishing AG, červen 2015

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

Libristo kód: 09361553

114 b

1 135 Kč

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

30 dní na vrácení zboží

Zákazníci také koupili

Gannibal 6 Masaaki Ninomiya

Brožovaná

195 Kč

Algorytmika praktyczna Stańczyk Piotr

Brožovaná

775 Kč

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

Brožovaná

369 Kč

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

Brožovaná

676 Kč

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

Brožovaná

975 Kč

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

Pevná

237 Kč

Hameleony Gennadij Murzin

Brožovaná

911 Kč

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

Brožovaná

223 Kč

Mesačná víla Samuel Salay

Pevná

100 Kč

Salin Kaliske Helene Böhlau

Brožovaná

752 Kč

Enchantimals 01 - Au secours de Felicity ! Mattel

Brožovaná

227 Kč

Dikkat Kan Araniyor Zehra Ebrar Bakir

Brožovaná

256 Kč

Préhistoires d'Europe Lehoerff anne

Kniha

806 Kč

Comptines pour se relaxer Gilles Diederichs

Brožovaná

440 Kč

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

Brožovaná

1 018 Kč

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.