Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Programming languages

Buy Now

Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers (Paperback, Edition.) Loot Price: R1,598

Discovery Miles 15 980

Repayment Terms: R150 pm x 12*

Add to cart

Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November...

Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers (Paperback, Edition.)

Jim Davies, Leila Silva, Adenilso Simao

Series: Lecture Notes in Computer Science, 6527

(sign in to rate)

Loot Price R1,598 Discovery Miles 15 980 | Repayment Terms: R150 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 6527
Release date:	March 2011
First published:	2011
Editors:	Jim Davies • Leila Silva • Adenilso Simao
Dimensions:	235 x 155 x 18mm (L x W x T)
Format:	Paperback
Pages:	291
Edition:	Edition.
ISBN-13:	978-3-642-19828-1
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Social & legal aspects of computing > Human-computer interaction Books > Computing & IT > Computer programming > Programming languages > General Promotions
LSN:	3-642-19828-7
Barcode:	9783642198281