Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selec
| PUBLISHER | Springer (03/23/2011) |
| PRODUCT TYPE | Paperback (Paperback) |
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.
Show More
Product Format
Product Details
ISBN-13:
9783642198281
ISBN-10:
3642198287
Binding:
Paperback or Softback (Trade Paperback (Us))
Content Language:
English
More Product Details
Page Count:
291
Carton Quantity:
26
Product Dimensions:
6.00 x 0.70 x 9.10 inches
Weight:
1.00 pound(s)
Feature Codes:
Bibliography,
Index,
Table of Contents,
Illustrated
Country of Origin:
NL
Subject Information
BISAC Categories
Computers | Software Development & Engineering - General
Computers | Programming - Compilers
Computers | Languages - General
Dewey Decimal:
005
Descriptions, Reviews, Etc.
publisher marketing
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.
Show More
Editor:
Davies, Jim
Jim Davies is an ITIL Expert, ISO/IEC 20000 Consultant, a Distinguished Professional in IT Service Management at the priSM Institute, a member of the itSMF UK, and the Director of ServiceSense Ltd, an ITSM consulting business. He is an ITIL-certified trainer with more than 40 years of experience in the management and development of computer systems and their supporting services. Awarded itSMF UK 2013 Trainer of the Year, Davies has helped more than 1,200 candidates achieve their ITIL foundation certification with a 98% pass rate.
Show More
List Price $54.99
Your Price
$54.44