Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Tests and Proofs

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

145 b

21 201 Ft

Low in stock at our supplier Shipping in 13-18 days

30-day return policy

Customers also purchased

Gannibal 6 Masaaki Ninomiya

Paperback

3 652 Ft

Algorytmika praktyczna Stańczyk Piotr

Paperback

11 319 Ft

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

Paperback

6 249 Ft

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

Paperback

9 873 Ft

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

Paperback

16 546 Ft

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

Hardback

3 887 Ft

Hameleony Gennadij Murzin

Paperback

16 164 Ft

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

Paperback

3 242 Ft

Mesačná víla Samuel Salay

Hardback

1 533 Ft

Salin Kaliske Helene Böhlau

Paperback

12 691 Ft

Enchantimals 01 - Au secours de Felicity ! Mattel

Paperback

3 316 Ft

Dikkat Kan Araniyor Zehra Ebrar Bakir

Paperback

4 278 Ft

Préhistoires d'Europe Lehoerff anne

Book

11 770 Ft

Comptines pour se relaxer Gilles Diederichs

Paperback

6 424 Ft

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

Paperback

14 865 Ft

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.