Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Tests and Proofs

Name: Tests and Proofs
Brand: Springer Nature Switzerland AG
SKU: 24519984
Price: 48.79 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

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 24519984

Založba Springer Nature Switzerland AG, september 2019

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

Koda Libristo: 24519984

118 b

48.79 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

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

Trda

11.91 €

Disney MM Refresh Core, Mickey, 25cm

Igra

13.43 €

Les miznúcich hviezd Kristin Harmelová

Trda

13.23 €

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

Mehka

30.40 €

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

Mehka

36.36 €

Planeet Vet

Mehka

18.98 €

Visión, La GABRIEL HERNANDEZ

Mehka

16.46 €

Einheitlichkeit der paulinischen Briefe an der Hand CARL CLEMEN

Mehka

16.05 €

Indonézia Baričák Pavel "Hirax"

Trda

12.42 €

Tanrilar Okulu Stefano E. D´Anna

Mehka

23.73 €

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

Mehka

13.02 €

Antropologie Dan Rhodes

Mehka

6.25 €

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

Trda

88.70 €

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.