Książka FM 2005: Formal Methods John Fitzgerald

FM 2005: Formal Methods

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

Język: Angielski
Oprawa: Miękka
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
212.57
This book presents the refereed proceedings of the International Symposium of Formal Methods Europe,...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2005
strony
558
EAN
9783540278825
ISBN
3540278826
Enbook ID
01560898
Waga
1770
Wymiary
155 x 235 x 32

Pełny opis

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.

Możesz być zainteresowany

Collagen Disorders

Parveen Grewal
226.99

Rat Rebellion

kingsley Nnnamdi onye
62.73

Mr. Mysterious

Amanda Tackett
64.78
171.95

Light Fantastic

Sarah Combs
62.05

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