Muutke küpsiste eelistusi

Dependable Software Engineering. Theories, Tools, and Applications: 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings 1st ed. 2022 [Pehme köide]

Edited by , Edited by
  • Formaat: Paperback / softback, 235 pages, kõrgus x laius: 235x155 mm, kaal: 403 g, 42 Illustrations, color; 17 Illustrations, black and white; XXII, 235 p. 59 illus., 42 illus. in color., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 13649
  • Ilmumisaeg: 11-Dec-2022
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 3031212126
  • ISBN-13: 9783031212123
Teised raamatud teemal:
  • Pehme köide
  • Hind: 62,59 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 73,64 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
Dependable Software Engineering. Theories, Tools, and Applications: 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings 1st ed. 2022Suurem pilt
  • Formaat: Paperback / softback, 235 pages, kõrgus x laius: 235x155 mm, kaal: 403 g, 42 Illustrations, color; 17 Illustrations, black and white; XXII, 235 p. 59 illus., 42 illus. in color., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 13649
  • Ilmumisaeg: 11-Dec-2022
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 3031212126
  • ISBN-13: 9783031212123
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9783031212123.html
Märksõnad:
This book constitutes the proceedings of the 8th International Symposium on Dependable Software Engineering, SETTA 2022, held in Beijing, China, in October 2022.

The 11 full papers and 3 short papers in this volume were carefully reviewed and selected from 29 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.

Verification and Testing for Machine Learning.- Dependable Software
Development.- Dependable CPS and concurrent systems.- Theorem Proving and SAT.