The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised ... / Programming and Software Engineering)

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised ... / Programming and Software Engineering)

by JimDavies (Editor), Adenilso Simao (Editor), Leila Silva (Editor)

  • New

    Paperback 2011

    $63.33
Synopsis

This book constitutes the thoroughly refereed post-conferenceproceedings of the 13th Brazilian Symposium on Formal Methods, SBMF2010, held in Natal, Brazil, in November 2010.

$63.33

Quantity

10 in stock

More Information

Format: Paperback
 Pages: 299
 Edition: 1st Edition.
 Publisher: Springer
Published: 23 Mar 2011
ISBN 10: 3642198287
ISBN 13: 9783642198281