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

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Tests and Proofs

Name: Tests and Proofs
Brand: Springer Nature Switzerland AG
SKU: 24519984
Price: 51.75 EUR
Availability: InStock
Author: Dirk Beyer
ISBN: 9783030311568

13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings

Dirk Beyer

Chantal Keller

Language

English

Book Paperback

Libristo code: 24519984

Publishers Springer Nature Switzerland AG, September 2019

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

Libristo code: 24519984

125 b

51.75 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Die Welt der Schlümpfe - Die Ferienschlümpfe. Bd.7 Max Murmel

Hardback

12.75 €

Disney MM Refresh Core, Mickey, 25cm

Game

14.27 €

Les miznúcich hviezd Kristin Harmelová

Hardback

15.39 €

Prévenir l'infarctus et l'accident vasculaire cérébral Michel de Lorgeril

Paperback

33.31 €

Neuere Anschauungen Auf Dem Gebiete Der Anorganischen Chemie (1920) Alfred Werner

Paperback

38.27 €

Planeet Vet

Paperback

20.25 €

Visión, La GABRIEL HERNANDEZ

Paperback

18.12 €

Einheitlichkeit der paulinischen Briefe an der Hand CARL CLEMEN

Paperback

17.01 €

Indonézia Baričák Pavel "Hirax"

Hardback

14.37 €

Tanrilar Okulu Stefano E. D´Anna

Paperback

25.11 €

Le Theatre Francais, Mademoiselle Georges-Weimer Et l'Odeon Ferdinand De Laboullaye

Paperback

13.66 €

Antropologie Dan Rhodes

Paperback

7.08 €

Die UdSSR und die deutsche Frage 1941-1948. Jochen P. Laufer

Hardback

94.18 €

This book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019. The 10 regular papers and 2 invited paper presented in this volume were carefully reviewed and selected from 19 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.