Integrated formal methods., Carlo A. Furia and Kirsten Winter

Автор: Judi M.T. Romijn; Graeme P. Smith; Jaco C. van de
Название: Integrated Formal Methods
ISBN: 3540304924 ISBN-13(EAN): 9783540304920
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, held in November/December 2005. The papers are organized in topical sections on components, state/event-based verification, system development, applications of B, tool support, non-software domains, semantics, as well as UML and statecharts.

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

Автор: Nadia Polikarpova and Steve Schneider
Название: Integrated formal methods.
ISBN: 3319668447 ISBN-13(EAN): 9783319668444
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions.

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

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

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

Автор: Xinyu Li; Liang Gao
Название: Effective Methods for Integrated Process Planning and Scheduling
ISBN: 3662553031 ISBN-13(EAN): 9783662553039
Издательство: Springer
Рейтинг:
Цена: 22359.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book summarizes a series of research work on integrated process planning and scheduling (IPPS) done by the authors, focusing on discussing the properties, novel solution methods and applications of process planning, scheduling and IPPS problems under different machining environments.

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