Formal Aspects of Component Software: 16th International Conference, Facs 2019, Amsterdam, the Netherlands, October 23-25, 2019, Proceedings, Arbab Farhad, Jongmans Sung-Shik

Автор: 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.

Автор: Hartmut Ehrig; Christiane Floyd; Maurice Nivat; Ja
Название: Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
ISBN: 3540151990 ISBN-13(EAN): 9783540151999
Издательство: Springer
Рейтинг:
Цена: 43780.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: 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.

Автор: de Boer Frank, Cerone Antonio
Название: Software Engineering and Formal Methods: 18th International Conference, Sefm 2020, Amsterdam, the Netherlands, September 14-18, 2020, Proceedings
ISBN: 3030587673 ISBN-13(EAN): 9783030587673
Издательство: Springer
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020. The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 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: 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.

Автор: Kallel Slim, Cuppens Frйdйric, Cuppens-Boulahia Nora
Название: Risks and Security of Internet and Systems: 14th International Conference, Crisis 2019, Hammamet, Tunisia, October 29-31, 2019, Proceedings
ISBN: 3030415678 ISBN-13(EAN): 9783030415679
Издательство: Springer
Рейтинг:
Цена: 61480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the revised selected papers from the 14th International Conference on Risks and Security of Internet and Systems, CRiSIS 2019, held in Hammamet, Tunisia, in October 2019. The 20 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 64 submissions.

Автор: Bдck Thomas, Preuss Mike, Deutz Andrй
Название: Parallel Problem Solving from Nature - Ppsn XVI: 16th International Conference, Ppsn 2020, Leiden, the Netherlands, September 5-9, 2020, Proceedings,
ISBN: 3030581144 ISBN-13(EAN): 9783030581145
Издательство: Springer
Рейтинг:
Цена: 91300.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This two-volume set LNCS 12269 and LNCS 12270 constitutes the refereed proceedings of the 16th International Conference on Parallel Problem Solving from Nature, PPSN 2020, held in Leiden, The Netherlands, in September 2020. The 99 revised full papers were carefully reviewed and selected from 268 submissions.

Автор: Kyungmin Bae; Peter Csaba ?lveczky
Название: Formal Aspects of Component Software
ISBN: 3030021459 ISBN-13(EAN): 9783030021450
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings from the 15th International Conference on Formal Aspects of Component Software, FACS 2018, held in Pohang, South Korea, in October 2018.The 14 full papers presented together with an invited abstract and an invited paper were carefully reviewed and selected from 32 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.

Автор: Jos? Luiz Fiadeiro; Zhiming Liu; Jinyun Xue
Название: Formal Aspects of Component Software
ISBN: 3319076019 ISBN-13(EAN): 9783319076010
Издательство: Springer
Рейтинг:
Цена: 52170.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013.

Автор: Christiano Braga; Peter Csaba ?lveczky
Название: Formal Aspects of Component Software
ISBN: 3319289330 ISBN-13(EAN): 9783319289335
Издательство: Springer
Рейтинг:
Цена: 52170.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the revised selected papers fromthe 12th International Conference on Formal Aspects of Component Software, FACS2015, held in Niteroi, Brazil, in October 2015. The 15 full papers and 2 invited papers presented in thisvolume were carefully reviewed and selected from 33 submissions.

Автор: Olga Kouchnarenko; Ramtin Khosravi
Название: Formal Aspects of Component Software
ISBN: 3319576658 ISBN-13(EAN): 9783319576657
Издательство: Springer
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly revised selected papers from the 13th International Conference on Formal Aspects of Component Software, FACS 2016, held in Besancon, France, in October 2016.

Автор: Jos? Proen?a; Markus Lumpe
Название: Formal Aspects of Component Software
ISBN: 3319680331 ISBN-13(EAN): 9783319680330
Издательство: Springer
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017.