Modelling Foundations and Applications, Anthony Anjorin; Hu?scar Espinoza
Автор: Thomas K?hne; Bran V. Selic; Marie-Pierre Gervais; Название: Modelling Foundations and Applications ISBN: 3642135943 ISBN-13(EAN): 9783642135941 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the proceedings of the 6th European Conference on Modelling Foundations and Applications, held in Paris, France, in June 2010.
Автор: W?sowski Название: Modelling Foundations and Applications ISBN: 3319420607 ISBN-13(EAN): 9783319420608 Издательство: Springer Рейтинг: Цена: 6988.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 12th European Conference on Modelling Foundations and Applications, ECMFA 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 16 papers presented in this volume were carefully reviewed and selected from 47 submissions. The committee decided to accept 16 papers, 12 papers for the Foundations Track and 4 papers for the Applications Track. Papers on a wide range of MBE aspects were accepted, including topics such as multi- and many models, language engineering, UML and meta-modeling, experience reports and case studies, and variability and uncertainty.
Автор: Gabriele Taentzer; Francis Bordeleau Название: Modelling Foundations and Applications ISBN: 3319211501 ISBN-13(EAN): 9783319211503 Издательство: Springer Рейтинг: Цена: 5590.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Papers on a wide range of MBE aspects were accepted, including topics such as aspect-oriented modeling, model management, model transformation, advanced meta-modeling, UML modeling tools, and domain-specific modeling w.r.t.
Автор: Ribeiro Название: Formal Methods: Foundations and Applications ISBN: 3319498142 ISBN-13(EAN): 9783319498140 Издательство: Springer Рейтинг: Цена: 6988.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016. The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. modeling and logic;
Автор: Milazzo Название: Software Technologies: Applications and Foundations ISBN: 3319502298 ISBN-13(EAN): 9783319502298 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2016, held in Vienna, Austria, in July 2016.
Название: Behavior modeling -- foundations and applications ISBN: 3319219111 ISBN-13(EAN): 9783319219110 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes revised selected papers from the six International Workshops on Behavior Modelling - Foundations and Applications, BM-FA, which took place annually between 2009 and 2014. new ways of behaviour modelling: events in modelling;
Описание: Design and implementation of TM systems, including their theoretical underpinnings and algorithmic foundations.- Programming language integration and verification tools.- Hardware supports.- Distributed TM systems.- Self-tuning mechanisms.- Lessons learnt from building complex TM-based applications.
Описание: BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot prove without the tools, and the tools cannot prove without us.
Автор: Jordi Cabot; Julia Rubin Название: Modelling Foundations and Applications ISBN: 3319091948 ISBN-13(EAN): 9783319091945 Издательство: Springer Рейтинг: Цена: 6708.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 10th European Conference on Modelling Foundations and Applications, ECMFA 2014, held as part of STAF 2014, in York, UK, in July 2014. The 14 foundation track papers and the 3 applications track papers presented in this volume were carefully reviewed and selected from 58 submissions.
Автор: Richard F. Paige; Alan Hartman; Arend Rensink Название: Model Driven Architecture - Foundations and Applications ISBN: 3642026737 ISBN-13(EAN): 9783642026737 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The ?fth edition of the European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA 2009) was dedicated to furthering the state of knowledge and fostering the industrialization of Model-Driven - chitecture (MDA) and Model-Driven Engineering (MDE).
Автор: M?rcio Corn?lio; Bill Roscoe Название: Formal Methods: Foundations and Applications ISBN: 3319294725 ISBN-13(EAN): 9783319294728 Издательство: Springer Рейтинг: Цена: 5590.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes revised selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015. The 11 papers presented in this volume were carefullyreviewed and selected from 25 submissions. They were organized in topicalsections named: model checking;
Автор: Pieter Van Gorp; Tom Ritter; Louis M Rose Название: Modelling Foundations and Applications ISBN: 3642390129 ISBN-13(EAN): 9783642390128 Издательство: Springer Рейтинг: Цена: 6429.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 9th European Conference on Modelling Foundations and applications, ECMFA 2013, held in Montpellier, France, in July 2013. They are on all aspects of MDE, including topics such as model querying, consistency checking, model transformation; and model-based systems engineering and domain-specific modeling.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
