Software Engineering and Formal Methods

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

Autor: Radu Calinescu

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer Nature Switzerland AG

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

80.06 €

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

Informácie o knihe

Autor

Radu Calinescu

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2021

Stránok

522

EAN

9783030921231

ISBN

3030921239

Enbook ID

38394255

Vydavateľ

Springer Nature Switzerland AG

Hmotnosť

819

Rozmery

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 zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Software Engineering and Formal Methods

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež