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

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

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Verified Software. Theories, Tools and Experiments

Name: Verified Software. Theories, Tools and Experiments
Brand: Springer
SKU: 47698782
Price: 51.49 EUR
Availability: InStock
Author: Andrew Reynolds
ISBN: 9783031660641

15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Andrew Reynolds

Serdar Tasiran

Lingua

Inglese

Libro elettronico Adobe ePub DRM

Casa editrice Springer, luglio 2024

This book constitutes the refereed proceedings of the 15th International Conference on Verified Soft... Descrizione completa

Codice Libristo: 47698782

126 b

51.49 €

Disponibile Consegna digitale immediata

I clienti hanno acquistato anche

MTM Záložka do knihy 3D - Koala šedá

binding.

10.09 €

This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23-24, 2023.The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions. They focus on requirements modeling, specification languages, software design methods, automatic code generation, refinement methodologies, and more.