FM 2009: Formal Methods

Name: FM 2009: Formal Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642050886
Price: 2568 CZK
Availability: InStock

Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings

Autor: Ana Cavalcanti, Dennis Dams

Jazyk:

Vazba: Brožovaná

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

Dostupnost: Skladem u dodavatele v malém množství

Odesíláme za 13-18 dnů

2 568 Kč

th FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the Fir...

Informace o knize

Autor

Ana Cavalcanti, Dennis Dams

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2009

Stránek

820

EAN

9783642050886

ISBN

9783642050886

Enbook ID

08909420

Vydavatel

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnost

1264

Rozměry

155 x 235 x 35

Kompletní popis

th FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the First World Congress on Formal Methods that was held in 1999 in Toulouse, France. We wished to celebrate this by advertising and organizing FM 2009 as the Second World Congress in the FM series, aiming to once again bring together the formal methods communities from all over the world. The statistics displayed in the table on the next page include the number of countries represented by the Programme Committee members, as well as of the authors of submitted and accepted papers. Novel this year was a special track on tools and industrial applications. Subm- sions of papers on these topics were especially encouraged, but not given any special treatment. (It was just as hard to get a special track paper accepted as any other paper.) What we did promote, however, was a discussion of how originality, contri- tion, and soundness should be judged for these papers. The following questions were used by our Programme Committee.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

FM 2009: Formal Methods

Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také