Menu
Află starea comenzii
Contactați-ne
Carte Dependable Software Engineering. Theories, Tools, and Applications Wenhui Zhang

Dependable Software Engineering. Theories, Tools, and Applications

Autor: Wenhui Zhang, Jim Woodcock
Limbă: engleză
Legare: Carte broșată
Editura: Springer Nature Switzerland AG
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
414.51 lei
This book constitutes the proceedings of the 7th International Symposium on Dependable Software Engi...

Informații despre carte

Autor
Wenhui Zhang, Jim Woodcock
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2021
Pagini
321
EAN
9783030912642
ISBN
3030912647
Enbook ID
38323319
Editura
Springer Nature Switzerland AG
Greutate
522
Dimensiuni
155 x 235 x 19

Descriere completă

This book constitutes the proceedings of the 7th International Symposium on Dependable Software Engineering, SETTA 2021, held in Beijing, China, in November 2021.The 16 full papers in this volume were carefully reviewed and selected from 39 submissions, and are presented with 3 abstracts of keynote speeches. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.

S-ar putea să te intereseze

Principles of Continuum Mechanics

Zdenek Martinec
206.59 lei

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

Yoko Tsuno, Die Erde am Abgrund

Roger Leloup
166.83 lei

Przyroda Czesc 3 Biologia Karty pracy Przedmiot uzupelniajacy

Holeczek Jolanta
61.35 lei

Würfel- und Buchstabenorakel in Griechenland und Kleinasien

Franz Heinevetter
62.67 lei

India

GANERI
63.07 lei