Free delivery for orders over 69.99€

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

Tests and Proofs

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

Language

English

Book Paperback

Libristo code: 09361553

Publishers Springer International Publishing AG, June 2015

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

Libristo code: 09361553

127 b

51.97 €

101.65 лв

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Enchantimals 01 - Au secours de Felicity ! Mattel

Paperback

8.68 € 16.98 лв

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

Hardback

11.72 € 22.92 лв

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

Paperback

45.03 € 88.08 лв

Gannibal 6 Masaaki Ninomiya

Paperback

10.59 € 20.70 лв

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

Paperback

28.99 € 56.70 лв

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

Paperback

17.01 € 33.27 лв

Préhistoires d'Europe Lehoerff anne

Book

33.57 € 65.65 лв

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

Paperback

43.44 € 84.96 лв

LES AVISOS DRAGUEURS DE 630 TW DU TYPE 'ELAN' - Vol. 1. GARIER

Hardback

59.94 € 117.24 лв

Comptines pour se relaxer Gilles Diederichs

Paperback

17.89 € 34.98 лв

Algorytmika praktyczna Stańczyk Piotr

Paperback

32.85 € 64.25 лв

Dikkat Kan Araniyor Zehra Ebrar Bakir

Paperback

11.72 € 22.92 лв

Salin Kaliske Helene Böhlau

Paperback

34.70 € 67.87 лв

Mesačná víla Samuel Salay

Hardback

4.57 € 8.94 лв

Hameleony Gennadij Murzin

Paperback

42.10 € 82.34 лв

El juramento del bosque Ana Rosa Rodríguez Miguel

Paperback

19.99 € 39.11 лв

Conversation de M. l'Intendant Des Menus Avec Mr. l'Abbe *** Voltaire

Paperback

13.62 € 26.64 лв

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.