Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer, Berlin
SKU: 9783642245589
Price: 52.62 EUR
Availability: InStock

13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

Автор: Shengchao Qin, Zongyan Qiu

Език:

Корици: С меки корици

Издател: Springer, Berlin

Наличност: Външен склад

Изпращаме след 8-11 дни

52.62 € 102.92 лв

This book constitutes the refereed proceedings of the 13th International Conference on Formal Engine...

Информация за книгата

Автор

Shengchao Qin, Zongyan Qiu

Език

Английски език

Корици

Книга - С меки корици

Издадена

2011

страници

670

EAN

9783642245589

ISBN

3642245587

Enbook ID

01659032

Издател

Springer, Berlin

Теглоt

1143

Размери

155 x 235 x 35

Пълно описание

This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Formal Methods and Software Engineering

13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

Информация за книгата

Пълно описание

Може също да ви хареса

Paragraph Writing

Masonic Tour Guide - Volume 2

At The End Of The Day

The Keys Are Gone: A simple critique of the English Standard Version (ESV)

Ruhnama: The Book of the Soul (Annotated Version)

Vogue x Music

Jean Prouvé

Classification of the Bantu Languages bound with Bantu Word Division

Iron Ship-Building - With Practical Illustrations

Odes

Speakout Advanced 2nd Edition Students' Book and DVD-ROM Pack

Impact of the Environment on Psychiatric Disorder

Arab and Arab American Feminisms

Die verlore bokkie (Afrikaans)

Psalter Collects

Клиенти, които купиха тази книга, купиха също

Coleopterorum Catalogus

Akademia owoce

Numération et calcul CP + CD

Poesies Choisies Et Pieces Inedites d'Alexis Piron

Il Devoto-Oli dei sinonimi e contrari. Con analoghi, generici, inversi e gradazioni semantiche

Die Â«andereÂ» Familie

Commentaria in decem Categorias Aristotelis