Formal Methods and Software Engineering

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

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

Autor: Shengchao Qin, Zongyan Qiu

Limbă:

Legare: Carte broșată

Editura: Springer, Berlin

Disponibilitate: În depozitul extern

Expediem în 8-11 zile

276.12 lei

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

Informații despre carte

Autor

Shengchao Qin, Zongyan Qiu

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2011

Pagini

670

EAN

9783642245589

ISBN

3642245587

Enbook ID

01659032

Editura

Springer, Berlin

Greutate

1143

Dimensiuni

155 x 235 x 35

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Formal Methods and Software Engineering

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

Informații despre carte

Descriere completă

S-ar putea să te intereseze

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

Clienții care au cumpărat această carte au mai cumpărat și

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