Cantitate/Preț
Produs

FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings: Lecture Notes in Computer Science, cartea 7436

Editat de Dimitra Giannakopoulou, Dominique Mery
en Limba Engleză Paperback – 21 iul 2012
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.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 34278 lei

Preț vechi: 42848 lei
-20% Nou

Puncte Express: 514

Preț estimativ în valută:
6561 6824$ 5498£

Carte tipărită la comandă

Livrare economică 13-27 martie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783642327582
ISBN-10: 3642327583
Pagini: 504
Ilustrații: XVI, 488 p. 142 illus.
Dimensiuni: 155 x 235 x 26 mm
Greutate: 0.7 kg
Ediția:2012
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Verification.- synthesis.- runtime monitoring.- testing and controller synthesis.- novel applications of formal methods in interesting domains such as satellites, autonomous vehicles and disease dynamics.

Textul de pe ultima copertă

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.

Caracteristici

Up to date results Fast-track conference proceedings State of the art research