Integrated formal methods., Nadia Polikarpova and Steve Schneider

Автор: De Nicola
Название: Software Engineering and Formal Methods
ISBN: 3319415905 ISBN-13(EAN): 9783319415901
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 88 submissions.

Автор: Laure Petrucci; Cristina Seceleanu; Ana Cavalcanti
Название: Critical Systems: Formal Methods and Automated Verification
ISBN: 331967112X ISBN-13(EAN): 9783319671123
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Automated verification techniques.- Testing and scheduling.- Formal Methods for mobile and autonomous robots.- Modeling and analysis techniques.

Автор: Darren Cofer; Alessandro Fantechi
Название: Formal Methods for Industrial Critical Systems
ISBN: 3642032397 ISBN-13(EAN): 9783642032394
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 13th International Workshop FMICS 2008 LAquila Italy September 1516 2008 Revised Selected Papers. .

Автор: Wolfgang Grieskamp; Thomas Santen; Bill Stoddart
Название: Integrated Formal Methods
ISBN: 3540411968 ISBN-13(EAN): 9783540411963
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This title presents topical sections on computer science, linking and extending notations, methodology, foundation of one formalism by another, semantics and verification and validation. It is intended for use by compilers, interpreters, and software engineering researchers and professionals.

Автор: Erika ?brah?m; Marieke Huisman
Название: Integrated Formal Methods
ISBN: 3319336924 ISBN-13(EAN): 9783319336923
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This bookconstitutes the refereed proceedings of the 12th International Conference on IntegratedFormal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016. The 33 paperspresented in this volume were carefully reviewed and selected from 99submissions. They were organized in topical sections named: invitedcontributions;

Автор: Elvira Albert; Emil Sekerinski
Название: Integrated Formal Methods
ISBN: 3319101803 ISBN-13(EAN): 9783319101804
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions.

Автор: Einar Broch Johnsen; Luigia Petre
Название: Integrated Formal Methods
ISBN: 3642386121 ISBN-13(EAN): 9783642386121
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions.

Автор: John N. Hooker
Название: Integrated Methods for Optimization
ISBN: 1489989943 ISBN-13(EAN): 9781489989949
Издательство: Springer
Рейтинг:
Цена: 12571.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Now in a fully updated second edition, with new chapters covering flow theory, state-of-the-art search methods and GO/nonlinear programming, this unified treatment of optimization methods deals with all facets of the topic needed by students and practitioners.

Автор: John N. Hooker
Название: Integrated Methods for Optimization
ISBN: 1441942580 ISBN-13(EAN): 9781441942586
Издательство: Springer
Рейтинг:
Цена: 12850.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book integrates the key concepts of mathematical programming and constraint programming into a unified framework that allows them to be generalized and combined. It provides a powerful, high-level modeling solution for optimization problems.

Автор: Dimitra Giannakopoulou; Gwen Sala?n
Название: Software Engineering and Formal Methods
ISBN: 3319104306 ISBN-13(EAN): 9783319104300
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014.The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions.

Автор: Lamprecht
Название: Leveraging Applications of Formal Methods, Verification, and Validation
ISBN: 331951640X ISBN-13(EAN): 9783319516400
Издательство: Springer
Рейтинг:
Цена: 7267.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA 2014, held in Corfu, Greece, in October 2014, and the 5th International Symposium, ISoLA 2012, held in Heraklion, Crete, Greece, in October 2012.The 9 revised full papers presented were carefully reviewed and selected from 22 submissions. This volume combines the post-conference proceedings of the 2014 Doctoral Symposium and the 2014 Tutorial 'Automata Learning in Practice' with the post-conference publication of selected contributions from the Tracks 'Process-Oriented Geoinformation Systems and Applications' and 'Processes and Data Integration in the Networked Healthcare' of ISoLA 2012.

Автор: Tiziana Margaria; Bernhard Steffen
Название: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
ISBN: 3662452332 ISBN-13(EAN): 9783662452332
Издательство: Springer
Рейтинг:
Цена: 10062.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014.