Kniha FM 2005: Formal Methods John Fitzgerald

FM 2005: Formal Methods

International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings

Jazyk: Angličtina
Väzba: Brožovaná
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
50.18
This book presents the refereed proceedings of the International Symposium of Formal Methods Europe,...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2005
Stránok
558
EAN
9783540278825
ISBN
3540278826
Enbook ID
01560898
Hmotnosť
1770
Rozmery
155 x 235 x 32

Kompletný popis

This book presents the refereed proceedings of the International Symposium of Formal Methods Europe, FM 2005, held in Newcastle, UK, in July 2005. §The 31 revised full papers presented together with three invited contributions and extended abstracts of 6 invited industrial presentations were carefully reviewed and selected from 130 submissions. The papers are organized in topical sections on object orientation; resource analysis and verification; timing and testing; CSP, B, and Circus; security; networks and processes; abstraction, retrenchment, and rewriting; scenarios and modeling languages; and model checking.

Mohlo by vás zaujímať

Collagen Disorders

Parveen Grewal
53.52

Rat Rebellion

kingsley Nnnamdi onye
14.23

Mr. Mysterious

Amanda Tackett
14.53
38.49

Light Fantastic

Sarah Combs
14.63

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