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 7.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 Nature Switzerland AG
SKU: 24519984
Price: 53.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

Lingua

Inglese

Libro In brossura

Codice Libristo: 24519984

Casa editrice Springer Nature Switzerland AG, settembre 2019

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

Codice Libristo: 24519984

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

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

Rigido

13.39 €

Disney MM Refresh Core, Mickey, 25cm

Gioco

14.79 €

Les miznúcich hviezd Kristin Harmelová

Rigido

16.19 €

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

In brossura

34.39 €

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

In brossura

39.69 €

Planeet Vet

In brossura

21.19 €

Visión, La GABRIEL HERNANDEZ

In brossura

17.89 €

Einheitlichkeit der paulinischen Briefe an der Hand CARL CLEMEN

In brossura

17.79 €

Indonézia Baričák Pavel "Hirax"

Rigido

15.19 €

Tanrilar Okulu Stefano E. D´Anna

In brossura

26.09 €

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

In brossura

14.19 €

Antropologie Dan Rhodes

In brossura

7.39 €

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

Rigido

98.19 €

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.