Dependable Software Engineering. Theories, Tools, and Applications

Name: Dependable Software Engineering. Theories, Tools, and Applications
Brand: Springer, Berlin
SKU: 9789819986637
Price: 407.57 RON
Availability: InStock

9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings

Autor: Holger Hermanns, Jun Sun, Lei Bu

Limbă:

Legare: Carte broșată

Editura: Springer, Berlin

Disponibilitate: În depozitul extern

Expediem în 10-18 zile

407.57 lei

This book constitutes the proceedings of the 9th International Symposium on Dependable Software Engi...

Informații despre carte

Autor

Holger Hermanns, Jun Sun, Lei Bu

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2024

Pagini

452

EAN

9789819986637

Enbook ID

44429706

Editura

Springer, Berlin

Greutate

625

Dimensiuni

155 x 235

Descriere completă

This book constitutes the proceedings of the 9th International Symposium on Dependable Software Engineering, SETTA 2024, held in Nanjing, China, during November 27-29, 2024.The 24 full papers presented in this volume were carefully reviewed and selected from 78 submissions. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.

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

Dependable Software Engineering. Theories, Tools, and Applications

9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Restorative Dentistry

Drawing

Gilgamesh

Computational Methods for Counterterrorism

The Music Hall, Portsmouth

Racing to the Bottom?: Provincial Interdependence in the Canadian Federation

Death: A Seatonian Prize Poem

Columbus

Abstract State Machines, Alloy, B, VDM, and Z

Idealism and the Harmony of Thought and Reality

Of the decorative illustration of books old and new

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

Gedagtes van n Woestynkind

Пандемия Sars Cov 2

Feuilles d'exercices de geometrie pour les enfants de CE2, CM1 et CM2 age entre 8-12 ans

Blade Runner : Kit de démarrage

Catalogue Du Mobilier Artistique, Piano Demi-Queue de Pleyel, Sieges, Bronzes d'Art

Parcelles d'histoire. Paris au Moyen Âge

LA ENTRAÑABLE DESGRACIA DE SER VENEZOLANO

Fundamentos de programación Visual Basic

Coco Chanel

Gesetz über Ordnungswidrigkeiten

Il costituzionalismo di Roma antica