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 3.49 € Zbirno mesto 3.49 € Zbirno mesto 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.

Software Engineering and Formal Methods

Name: Software Engineering and Formal Methods
Brand: Springer
SKU: 41017009
Price: 84.66 EUR
Availability: InStock
Author: Radu Calinescu
ISBN: 9783030921248

19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings

Radu Calinescu

Corina S. Pasareanu

Jezik

Angleščina

E-knjiga Adobe ePub DRM

Koda Libristo: 41017009

Založba Springer, december 2021

This book constitutes the refereed proceedings of the 19th International Conference on Software Engi... Celoten opis

Koda Libristo: 41017009

205 b

84.66 €

Na zalogi Prenesi zdaj

This book constitutes the refereed proceedings of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held as a virtual event, in December 2021.The 22 full papers presented together with 4 short papers were carefully reviewed and selected from 86 submissions. Also included are 2 invited talks and an abstract of a keynote talk. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. Chapter 'Configuration Space Exploration for Digital Printing Systems' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.