Peter Gorm Larsen
1 Titel bei CineBuch
Erschienen am 19.09.2026Formal Methods for Industrial Critical Systems
E-Book
This book constitutes the refereed proceedings of the 31st International Conference on Formal Methods for Industrial Critical Systems, FMICS 2026, held in Liverpool, UK, during September 3–4, 2026. The 8 full papers included in this book together with two invited papers were carefully reviewed and selected from 34 submissions. The papers deal with developments and applications of formal methods in Industrial Critical Systems.
€69,54
Sofort per Download lieferbar
Ihr Downloadlink kommt direkt per E-Mail.
PDF: lesbar auf Smartphone, Tablet, Computer und in vielen PDF-Apps.
Aus denselben Regalen
Ähnliche Autorinnen und Autoren
Wer Peter Gorm Larsen liest, findet hier Autorinnen und Autoren aus Informatik, EDV.
- Ulrich BreymannInformatik, EDV
- Vladimir GeroimenkoInformatik, EDV
- Wray BuntineInformatik, EDV
- M.A. IvinsInformatik, EDV
- Alvaro RochaInformatik, EDV
- Mattia CerratoInformatik, EDV
- Andrey RonzhinInformatik, EDV
- Hiram PonceInformatik, EDV