Formal Methods and Software Engineering

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

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

Autor: Shengchao Qin, Zongyan Qiu

Język:

Oprawa: Miękka

Wydawca: Springer, Berlin

Dostępność: Dostępna u dostawcy

Wysyłamy za 8-11 dni

212.42 zł

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

Informacje o książce

Autor

Shengchao Qin, Zongyan Qiu

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2011

strony

670

EAN

9783642245589

ISBN

3642245587

Enbook ID

01659032

Wydawca

Springer, Berlin

Waga

1143

Wymiary

155 x 235 x 35

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

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

Informacje o książce

Pełny opis

Możesz być zainteresowany

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

Klienci, którzy kupili tę książkę, kupili również

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