Könyv FM 2005: Formal Methods John Fitzgerald

FM 2005: Formal Methods

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

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 327 Ft
This book presents the refereed proceedings of the International Symposium of Formal Methods Europe,...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2005
oldal
558
EAN
9783540278825
ISBN
3540278826
Enbook ID
01560898
Súly
1770
Méretek
155 x 235 x 32

Teljes leírás

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.

Érdekelheti

Collagen Disorders

Parveen Grewal
20 782 Ft

Rat Rebellion

kingsley Nnnamdi onye
5 593 Ft

Mr. Mysterious

Amanda Tackett
5 862 Ft
15 571 Ft

Light Fantastic

Sarah Combs
5 193 Ft

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