Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Tests and Proofs

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

Engleski

Knjiga Meki uvez

Libristo kod: 09361553

Nakladnici Springer International Publishing AG, lipanj 2015

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

Libristo kod: 09361553

120 b

49.62 €

Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Gannibal 6 Masaaki Ninomiya

Meki uvez

8.60 €

Algorytmika praktyczna Stańczyk Piotr

Meki uvez

30.78 €

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

Meki uvez

16.20 €

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

Meki uvez

26.73 €

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

Meki uvez

42.83 €

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

Tvrdi uvez

10.22 €

Hameleony Gennadij Murzin

Meki uvez

40.10 €

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

Meki uvez

8.80 €

Mesačná víla Samuel Salay

Tvrdi uvez

4.04 €

Salin Kaliske Helene Böhlau

Meki uvez

33.01 €

Enchantimals 01 - Au secours de Felicity ! Mattel

Meki uvez

9.00 €

Dikkat Kan Araniyor Zehra Ebrar Bakir

Meki uvez

11.23 €

Préhistoires d'Europe Lehoerff anne

Knjiga

31.89 €

Comptines pour se relaxer Gilles Diederichs

Meki uvez

17.41 €

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

Meki uvez

40.30 €

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.