Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Software Engineering and Formal Methods

Name: Software Engineering and Formal Methods
Brand: Springer
SKU: 41017009
Price: 94.65 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

Jazyk

Angličtina

E-kniha Adobe ePub DRM

Libristo kód: 41017009

Nakladateľstvo Springer, december 2021

This book constitutes the refereed proceedings of the 19th International Conference on Software Engi... Celý popis

Libristo kód: 41017009

229 b

94.65 €

Skladom Ihneď na stiahnutie

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.