Web Services and Formal Methods, Emilio Tuosto; Chun Ouyang

Автор: Roberto Bruni; Karsten Wolf
Название: Web Services and Formal Methods
ISBN: 3642013635 ISBN-13(EAN): 9783642013638
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, held in Milan, Italy, in September 2008 in conjunction with the 6th International Conference on Business Process Management, BPM 2008.

Автор: Thomas Hildebrandt; Ant?nio Ravara; Jan Martijn va
Название: Web Services, Formal Methods, and Behavioral Types
ISBN: 3319336118 ISBN-13(EAN): 9783319336114
Издательство: Springer
Рейтинг:
Цена: 5870.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the workshops WS-FM:FASOCC 2014 and WS-FM/BEAT 2015.

Автор: Maurice H. ter Beek; Niels Lohmann
Название: Web Services and Formal Methods
ISBN: 3642382290 ISBN-13(EAN): 9783642382291
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012, held in Tallinn, Estonia, in September 2012.

Автор: Marcel Vin?cius Medeiros Oliveira; Jim Woodcock
Название: Formal Methods: Foundations and Applications
ISBN: 3642104517 ISBN-13(EAN): 9783642104510
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing.

Автор: Marcello M. Bonsangue; Eric Madelaine
Название: Formal Methods for Components and Objects
ISBN: 3642041663 ISBN-13(EAN): 9783642041662
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Jeremy Gibbons; Jose Nuno Oliveira
Название: Teaching Formal Methods
ISBN: 3642049117 ISBN-13(EAN): 9783642049118
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the proceedings of TFM2009, the Second International FME Conference on Teaching Formal Methods, organized by the Subgroup of Education of the Formal Methods Europe (FME) association. The conference took place as part of the ?rst Formal Methods Week (FMWeek), held in Ei- hoven, The Netherlands, in November 2009. TFM2009 was a one-day forum in which to explore the successes and fa- ures of formal method (FM) education, and to promote cooperative projects to further educationand training in FMs. The organizersgatheredlecturers, tea- ers, andindustrialpartnersto discusstheir experience, presenttheir pedagogical methodologies, and explore best practices. Interest in FM teaching is growing. TFM2009 followed in a series of events on teaching FMs which includes two BCS-FACS TFM workshops (Oxford in 2003, and London in 2006), the TFM2004 conference (Ghent, 2004, with p- ceedings published as Springer LNCS Volume 3294), the FM-Ed 2006 workshop (Hamilton, co-located with FM2006), FORMED (Budapest, at ETAPS2008), and FMET2008 (Kitakyushu, co-located with ICFEM2008). FMs have an important role to play in the development of complex c- puting systems--a role acknowledged in industrial standards such as IEC61508 and ISO/IEC15408, and in the increasing use of precise modelling notations, semantic markup languages, and model-driven techniques. There is a growing need for software engineers who can work e?ectively with simple, mathematical abstractions, and with practical notions of inference and proof.

Автор: Ana Cavalcanti; Dennis Dams
Название: FM 2009: Formal Methods
ISBN: 3642050883 ISBN-13(EAN): 9783642050886
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: th FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the First World Congress on Formal Methods that was held in 1999 in Toulouse, France.

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

Автор: Mar?a Alpuente; Byron Cook; Christophe Joubert
Название: Formal Methods for Industrial Critical Systems
ISBN: 3642045693 ISBN-13(EAN): 9783642045691
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry.

Автор: Karin Breitman; Ana Cavalcanti
Название: Formal Methods and Software Engineering
ISBN: 3642103723 ISBN-13(EAN): 9783642103728
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 11th International Conference on Formal Engineering Methods ICFEM 2009 Rio de Janeiro Brazil Decemb. .

Автор: John Fitzgerald
Название: FM 2016 : formal methods
ISBN: 3319489887 ISBN-13(EAN): 9783319489889
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk and one invited presentation were carefully reviewed and selected from 162 submissions.

Автор: Kazuhiro Ogata; Mark Lawford; Shaoying Liu
Название: Formal Methods and Software Engineering
ISBN: 3319478451 ISBN-13(EAN): 9783319478456
Издательство: Springer
Рейтинг:
Цена: 10342.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016.