Theory and Practice of Formal Methods, Erika ?brah?m; Marcello Bonsangue; Einar Broch Joh

Автор: Michael G. Hinchey; Jonathan P. Bowen
Название: Industrial-Strength Formal Methods in Practice
ISBN: 1852336404 ISBN-13(EAN): 9781852336400
Издательство: Springer
Рейтинг:
Цена: 21661.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text provides guidance for anyone who needs to apply formal methods successfully in an industrial context. Each chapter contains background information, introductions to the techniques being used, fragments of formalized components, details of results and an analysis of the overall approach.

Автор: Riolo Rick
Название: Genetic Programming Theory and Practice
ISBN: 1461468450 ISBN-13(EAN): 9781461468455
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These contributions, written by the foremost international researchers and practitioners of Genetic Programming (GP), explore the synergy between theoretical and empirical results on real-world problems, producing a comprehensive view of the state of the art in GP.

Автор: Duddy Keith
Название: Theory and Practice of Model Transformations
ISBN: 3642388825 ISBN-13(EAN): 9783642388828
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 6th International Conference on Theory and Practice of Model Transformations, ICMT 2013, held in Budapest, Hungary, in June 2013.

Автор: 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
Рейтинг:
Цена: 6567.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Tina Yu; Rick Riolo; Bill Worzel
Название: Genetic Programming Theory and Practice III
ISBN: 1441939210 ISBN-13(EAN): 9781441939210
Издательство: Springer
Рейтинг:
Цена: 23058.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Genetic Programming Theory and Practice III provides both researchers and industry professionals with the most recent developments in GP theory and practice by exploring the emerging interaction between theory and practice in the cutting-edge, machine learning method of Genetic Programming (GP).