ページに戻る

ズーム ロールオーバーで画像拡大

Formal Methods : Foundations and Applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Brazil, Revised Selected Papers (Lecture Notes in Computer Science) <Vol. 6527>

Davies, J. (EDT)/ Silva, L. (EDT)
100.69 SGD
会員価格
90.63

Product Description

This book constitutes the thoroughly refereed post-conferenceproceedings of the 13th Brazilian Symposium on Formal Methods, SBMF2010, held in Natal, Brazil, in November 2010.The 18 revised full papers were carefully reviewed and selected from55 submissions. The papers presented cover a broad range of foundationaland methodological issues in formal methods for the design and analysisof software and hardware systems as well as applications in variousdomains.
... Read Full Text

This book constitutes the thoroughly refereed post-conferenceproceedings of the 13th Brazilian Symposium on Formal Methods, SBMF2010, held in Natal, Brazil, in November 2010.The 18 revised full papers were carefully reviewed and selected from55 submissions. The papers presented cover a broad range of foundationaland methodological issues in formal methods for the design and analysisof software and hardware systems as well as applications in variousdomains.

... Read Full Text

Available to Order

Usually dispatches within 3-4 weeks

While every attempt has been made to ensure stock availability, occasionally we may run out of stock at our stores.

ご注文金額 50.00SGD以上で国内送料無料

Discount is applied at checkout.

Recently Viewed Items

Related Products