Formal Methods: Foundations and Applications :13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers - Lecture Notes in Computer Science

Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications :13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers - Lecture Notes in Computer Science

(Author) (Author) (Author)
paperback
Published: 23 March, 2011
Standard worldwide delivery by Tue, July 21 - Thu, July 30
Order within 0
Condition: NEW
$61.68
Price includes shipping
Available 20+ in stock
- +
Add to basket Wishlist This
FREE Returns within 30 days
More Details

Popular Books by Jim Davies

View All Books by Jim Davies
The Book of Guinness Advertising
The Book of Guinness Advertising
Jim Davies
$11.07 $26.75
Used
Add to basket
Using Z : Specification, Refinement, and Proof
Using Z : Specification, Refinement, and Proof
Jim Davies
$9.11 $52.14
Used
Add to basket
Riveted
Riveted
Jim Davies
$30.34
New
Add to basket
FM'99 - Formal Methods
FM'99 - Formal Methods
Jim Davies
$133.30
New
Add to basket
Engineering Agile Big-Data Systems
Engineering Agile Big-Data Systems
Jim Davies
$108.23 $123.02
New
Add to basket
Developments in Services of General Interest
Developments in Services of General Interest
Jim Davies
$126.94
New
Add to basket
FM'99 - Formal Methods
FM'99 - Formal Methods
Jim Davies
$133.33
New
Add to basket
Developments in Services of General Interest
Developments in Services of General Interest
Jim Davies
$128.74
New
Add to basket
Specification and Proof in Real Time CSP
Specification and Proof in Real Time CSP
Jim Davies
$156.89
New
Add to basket
Integrated Formal Methods
Integrated Formal Methods
Jim Davies
$131.06
New
Add to basket

Description

This book constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, held in Natal, Brazil, in November 2010. The 18 revised full papers were carefully reviewed and selected from 55 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.
See more

More Details

Type Book
ISBN13 9783642198281
ISBN10 3642198287
Number Of Pages 291
Item Weight 1000 g
Publisher / Reseller Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Format paperback
See More +