Software Engineering and Formal Methods

Name: Software Engineering and Formal Methods
Brand: Springer Nature Switzerland AG
SKU: 9783030921231
Price: 338.69 PLN
Availability: InStock

Autor: Radu Calinescu

Język:

Oprawa: Miękka

Wydawca: Springer Nature Switzerland AG

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

338.69 zł

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

Informacje o książce

Autor

Radu Calinescu

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2021

strony

522

EAN

9783030921231

ISBN

3030921239

Enbook ID

38394255

Wydawca

Springer Nature Switzerland AG

Waga

819

Wymiary

155 x 235 x 29

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Software Engineering and Formal Methods

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również