Software Engineering and Formal Methods

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

Autor: Radu Calinescu

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer Nature Switzerland AG

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 830 Kč

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

Informace o knize

Autor

Radu Calinescu

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2021

Stránek

522

EAN

9783030921231

ISBN

3030921239

Enbook ID

38394255

Vydavatel

Springer Nature Switzerland AG

Hmotnost

819

Rozměry

155 x 235 x 29

Kompletní popis

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.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Software Engineering and Formal Methods

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také