Více než 4 miliony titulů v angličtině i dalších jazycích! Objevte svůj nový příběh ještě dnes!

FM 2005: Formal Methods

Name: FM 2005: Formal Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540278825
Price: 1147 CZK
Availability: InStock

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

Autor: John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 147 Kč

This book presents the refereed proceedings of the International Symposium of Formal Methods Europe,...

Informace o knize

Autor

John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2005

Stránek

558

EAN

9783540278825

ISBN

3540278826

Enbook ID

01560898

Vydavatel

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnost

1770

Rozměry

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.