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 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

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
SKU: 44990640
Price: 62.59 EUR
Availability: InStock
Author: Virgile Prevosto
ISBN: 9783031388286

17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings

Virgile Prevosto

Cristina Seceleanu

Lingua

Inglese

Libro elettronico Adobe ePub DRM

Codice Libristo: 44990640

Casa editrice Springer, luglio 2023

This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STA... Descrizione completa

Codice Libristo: 44990640

153 b

62.59 €

Disponibile Consegna digitale immediata

I clienti hanno acquistato anche

Traité Théorique Et Practique De L'art De Bâtir, Volumes 1-2 Jean Rondelet

Rigido

34.79 €

Variazioni sull'apocalisse Baldacci Alessandro Baldacci

Adobe ePub DRM

63.79 €

Klimawirksame Kennzahlen fur den Nahen Osten und Sudasien Valentin Crastan

Adobe ePub DRM

13.89 €

Bahmulle Mignon Kleinbek

Adobe ePub DRM

11.39 €

La democracia liberal y su época C. B. Macpherson

In brossura

13.39 €

Helmina Von Chezy. Leben Und Kunst in Paris Seit Napoleon I. Bénédicte Savoy

Rigido

98.19 €

This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), and ECMFA (European Conference on Modelling Foundations and Applications) in Leicester, UK, in July 2023.The 8 full papers together with 2 short papers included in this volume were carefully reviewed and selected from 14 submissions. They were organized in topical sections on Low-level Code Verification, Formal Models, Model-based test generation, and Abstraction and Refinement.