Software Engineering and Formal Methods

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

Autor: Radu Calinescu

Limbă:

Legare: Carte broșată

Editura: Springer Nature Switzerland AG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

442.83 lei

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

Informații despre carte

Autor

Radu Calinescu

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2021

Pagini

522

EAN

9783030921231

ISBN

3030921239

Enbook ID

38394255

Editura

Springer Nature Switzerland AG

Greutate

819

Dimensiuni

155 x 235 x 29

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Software Engineering and Formal Methods

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și