Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, Huisman Marieke, Păsăreanu Corina, Zhan Naijun
Автор: Johnen Colette, Schiller Elad Michael, Schmid Stefan Название: Stabilization, Safety, and Security of Distributed Systems: 23rd International Symposium, SSS 2021, Virtual Event, November 17-20, 2021, Proceedings ISBN: 3030910806 ISBN-13(EAN): 9783030910808 Издательство: Springer Рейтинг: Цена: 83850.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 23rd International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2021, held virtually, in November 2021. The 16 full papers, 10 short and 14 invited papers presented were carefully reviewed and selected from 56 submissions.
Автор: Larsen Kim Guldstrand, Willemse Tim Название: Formal Methods for Industrial Critical Systems: 24th International Conference, Fmics 2019, Amsterdam, the Netherlands, August 30-31, 2019, Proceedings ISBN: 3030270076 ISBN-13(EAN): 9783030270070 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019. The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions.
Автор: Salaьn Gwen, Wijs Anton Название: Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings ISBN: 3030906353 ISBN-13(EAN): 9783030906351 Издательство: Springer Рейтинг: Цена: 41920.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the thoroughly revised selected papers from the 17th International Symposium, FACS 2021, which was hel virtually in October 2021. The 7 full papers and 1 short contribution were carefully reviewed and selected from 16 submissions and are presented in the volume together with 1 invited paper.
Автор: Lee Ritchie, Jha Susmit, Mavridou Anastasia Название: NASA Formal Methods: 12th International Symposium, Nfm 2020, Moffett Field, Ca, Usa, May 11-15, 2020, Proceedings ISBN: 3030557537 ISBN-13(EAN): 9783030557539 Издательство: Springer Рейтинг: Цена: 68930.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held in Moffett Field, CA, USA, in May 2020.*The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 62 submissions.
Автор: Dongol Brijesh, Troubitsyna Elena Название: Integrated Formal Methods: 16th International Conference, Ifm 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings ISBN: 3030634604 ISBN-13(EAN): 9783030634605 Издательство: Springer Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020. The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions.
Автор: Bourdot Patrick, Alcaсiz Raya Mariano, Figueroa Pablo Название: Virtual Reality and Mixed Reality: 18th EuroXR International Conference, EuroXR 2021, Milan, Italy, November 24-26, 2021, Proceedings ISBN: 3030907384 ISBN-13(EAN): 9783030907389 Издательство: Springer Рейтинг: Цена: 51230.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 18th International Conference on Virtual Reality and Mixed Reality, EuroXR 2021, held in Valencia, Spain, in November 2021.The 8 full and 4 short papers were carefully reviewed and selected from 31 submissions.
Автор: Soren Prehn; Hans Toetenel Название: VDM `91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings ISBN: 3540548343 ISBN-13(EAN): 9783540548348 Издательство: Springer Рейтинг: Цена: 111790.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The proceedings of the fourth VDM Symposium are presented here in two volumes. Volume 1 contains invited and contributed papers, reports and abstracts. Volume 2 contains introductory and advanced tutorials. A large number of methods for formal software development besides VDM are presented.
Автор: Soren Prehn; Hans Toetenel Название: VDM `91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings ISBN: 3540548688 ISBN-13(EAN): 9783540548683 Издательство: Springer Рейтинг: Цена: 81050.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The proceedings of the fourth VDM Symposium are presented here in two volumes. Volume 1 contains invited and contributed papers, reports and abstracts. Volume 2 contains introductory and advanced tutorials. A large number of methods for formal software development besides VDM are presented.
Автор: Stephanidis Constantine, Antona Margherita, Ntoa Stavroula Название: HCI International 2021 - Late Breaking Posters: 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part I ISBN: 3030901750 ISBN-13(EAN): 9783030901752 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This two-volume set CCIS 1498 and CCIS 1499 contains the late breaking posters presented during the 23rd International Conference on Human-Computer Interaction, HCII 2021, which was held virtually in July 2021.
