Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Tests and Proofs

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

Lingua

Inglese

Libro In brossura

Codice Libristo: 09361553

Casa editrice Springer International Publishing AG, giugno 2015

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

Codice Libristo: 09361553

127 b

51.69 €

Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Gannibal 6 Masaaki Ninomiya

In brossura

8.99 €

Algorytmika praktyczna Stańczyk Piotr

In brossura

32.89 €

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

In brossura

16.89 €

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

In brossura

28.89 €

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

In brossura

44.79 €

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

Rigido

11.59 €

Hameleony Gennadij Murzin

In brossura

41.89 €

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

In brossura

9.49 €

Mesačná víla Samuel Salay

Rigido

4.59 €

Salin Kaliske Helene Böhlau

In brossura

34.49 €

Enchantimals 01 - Au secours de Felicity ! Mattel

In brossura

9.59 €

Dikkat Kan Araniyor Zehra Ebrar Bakir

In brossura

11.59 €

Préhistoires d'Europe Lehoerff anne

Libro

34.39 €

Comptines pour se relaxer Gilles Diederichs

In brossura

18.79 €

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

In brossura

41.59 €

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.