Formal Methods and Software Engineering

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

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

Autor: Shengchao Qin, Zongyan Qiu

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer, Berlin

Dostupnosť: Skladom u dodávateľa

Odosielame za 8-11 dní

50.08 €

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

Informácie o knihe

Autor

Shengchao Qin, Zongyan Qiu

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2011

Stránok

670

EAN

9783642245589

ISBN

3642245587

Enbook ID

01659032

Vydavateľ

Springer, Berlin

Hmotnosť

1143

Rozmery

155 x 235 x 35

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Formal Methods and Software Engineering

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

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

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é

Die verlore bokkie (Afrikaans)

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

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

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

Akademia owoce

Poesies Choisies Et Pieces Inedites d'Alexis Piron

Die Â«andereÂ» Familie

Commentaria in decem Categorias Aristotelis