Menu
Află starea comenzii
Contactați-ne
Carte FM 2012: Formal Methods Dimitra Giannakopoulou

FM 2012: Formal Methods

18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

Autor: Dimitra Giannakopoulou, Dominique Mery
Limbă: engleză
Legare: Carte broșată
Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
276.36 lei
This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods...

Informații despre carte

Autor
Dimitra Giannakopoulou, Dominique Mery
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2012
Pagini
488
EAN
9783642327582
ISBN
3642327583
Enbook ID
01661952
Editura
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutate
765
Dimensiuni
155 x 235 x 28

Descriere completă

This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. The papers cover several aspects of formal methods, including verification, synthesis, runtime monitoring, testing and controller synthesis, as well as novel applications of formal methods in interesting domains such as satellites, autonomous vehicles and disease dynamics.

S-ar putea să te intereseze

Th Thorium

Robert G. Behrens
3 160.70 lei

Works of William H. Seward

William Henry Seward
196.36 lei

Comparative Study of Chinese and Western Cyclic Myths

Robert Shanmu Chen
374.30 lei

Methods of Cancer Diagnosis, Therapy, and Prognosis

M. A. Hayat
1 650.47 lei

Whistleblowing at Work

David Lewis
550.32 lei

Dancing With Danger

Byrne Kerrigan Byrne
62.76 lei

Life Behind Bars

Gordon Culpin
98.23 lei

Clienții care au cumpărat această carte au mai cumpărat și

Dárek z pouti

Luboš Kafka
123.11 lei

Machtergreifung des Nationalsozialismus und Massnahmen zur Machtsicherung

Patrick Pigan
229.92 lei

Das große Limpert-Buch der Zirkuskünste

Stefan Eberherr
191.93 lei

Furstenfeldbruck-Literarisch

Angelika Mundorff
72.63 lei

Formirovanie portfelya na osnove mery riska Value-At-Risk

Elena Kolyasnikova
296.51 lei

Antes de convertirnos en piedra

Sergio (Mr. Wandererr) Chico
33.34 lei

Postdata

E.M.A
85.63 lei