Formal Methods and Software Engineering

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

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

Szerző: Shengchao Qin, Zongyan Qiu

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 8-11 napon belül

19 305 Ft

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

Információk a könyvről

Szerző

Shengchao Qin, Zongyan Qiu

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2011

oldal

670

EAN

9783642245589

ISBN

3642245587

Enbook ID

01659032

Kiadó

Springer, Berlin

Súly

1143

Méretek

155 x 235 x 35

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Formal Methods and Software Engineering

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

Információk a könyvről

Teljes leírás

Érdekelheti

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

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

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