Sergiy Bogomolov – författare
Visar alla böcker från författaren Sergiy Bogomolov. Handla med fri frakt och snabb leverans.
4 produkter
Formal Modeling and Analysis of Timed Systems
20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings
Av Sergiy Bogomolov, David Parker
Häftad, 2022
620 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 20th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2022, held in Warsaw, Poland, in September 2022. The 12 full papers together with 2 short papers that were carefully reviewed and selected from 30 …
Formal Modeling and Analysis of Timed Systems
20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings
Av David Parker, Sergiy Bogomolov
E-bok, 2022
839 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 20th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2022, held in Warsaw, Poland, in September 2022. The 12 full papers together with 2 short papers that were carefully reviewed and selected from 30 …
Numerical Software Verification
9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Av Sergiy Bogomolov, Matthieu Martel m. fl.
Häftad, 2017
564 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification. The NSV workshop is dedicated to the …
Numerical Software Verification
9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Av Pavithra Prabhakar, Matthieu Martel m. fl.
E-bok, 2017
732 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification. The NSV workshop is dedicated to the …
