Menu
Află starea comenzii
Contactați-ne
Carte Leveraging Applications of Formal Methods, Verification and Validation Tiziana Margaria

Leveraging Applications of Formal Methods, Verification and Validation

Autor: Tiziana Margaria
Limbă: engleză
Legare: Carte broșată
Editura: Springer Nature Switzerland AG
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
367.13 lei
This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comp...

Informații despre carte

Autor
Tiziana Margaria
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2021
Pagini
504
EAN
9783030891589
ISBN
3030891585
Enbook ID
37287579
Editura
Springer Nature Switzerland AG
Greutate
783
Dimensiuni
155 x 235 x 28

Descriere completă

This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends. The contributions included in this volume were organized in the following topical sections: 6th International School on Tool-Based Rigorous Engineering of Software Systems; Industrial Track; Programming: What is Next; Software Verification Tools; Rigorous Engineering of Collective Adaptive Systems.

S-ar putea să te intereseze

Vascular Endothelium

John D. Catravas
499.21 lei

Pindar

D.S.Carne- Ross
171.95 lei