Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

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 paketomatih Pošte Slovenije.

Tests and Proofs

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

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 09361553

Založba Springer International Publishing AG, junij 2015

This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proo... Celoten opis

Koda Libristo: 09361553

114 b

46.79 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Gannibal 6 Masaaki Ninomiya

Mehka

8.06 €

Algorytmika praktyczna Stańczyk Piotr

Mehka

29.44 €

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

Mehka

15.22 €

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

Mehka

25.21 €

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

Mehka

40.13 €

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

Trda

9.47 €

Hameleony Gennadij Murzin

Mehka

37.51 €

Mesačná víla Samuel Salay

Trda

3.72 €

Salin Kaliske Helene Böhlau

Mehka

30.96 €

Enchantimals 01 - Au secours de Felicity ! Mattel

Mehka

8.56 €

Dikkat Kan Araniyor Zehra Ebrar Bakir

Mehka

10.58 €

Préhistoires d'Europe Lehoerff anne

Knjiga

30.45 €

Comptines pour se relaxer Gilles Diederichs

Mehka

16.63 €

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

Mehka

38.22 €

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.