Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

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 prevzemna mesta DPD in Express One.

Leveraging Applications of Formal Methods, Verification and Validation

Name: Leveraging Applications of Formal Methods, Verification and Validation
Brand: Springer
SKU: 41016369
Price: 72.76 EUR
Availability: InStock
Author: Tiziana Margaria
ISBN: 9783030891596

10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings

Tiziana Margaria

Bernhard Steffen

Jezik

Angleščina

E-knjiga Adobe ePub DRM

Koda Libristo: 41016369

Založba Springer, oktober 2021

This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comp... Celoten opis

Koda Libristo: 41016369

176 b

72.76 €

Na zalogi Prenesi zdaj

This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends. The contributions included in this volume were organized in the following topical sections: 6th International School on Tool-Based Rigorous Engineering of Software Systems; Industrial Track; Programming: What is Next; Software Verification Tools; Rigorous Engineering of Collective Adaptive Systems.