My Wish Lists Login / Join

Formal Methods: Foundations and Applications

13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

By: Jim Davies (Editor), Leila Silva (Editor), Adenilso Simao (Editor)

Write A Review

Paperback | 23 March 2011

At a Glance

Paperback
300 Pages

Dimensions(cm)
23.5 x 15.49 x 1.6

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Software Engineering Programming & Scripting Languages Algorithms & Data Structures Computer Hardware Maintenance & Repairs Business & Management Business Mathematics & Systems Mathematics Mathematical Foundation

Mathematical Logic Computer Science Computer Architecture & Logic Design Human-Computer Interaction Information Architecture Mathematical Theory of Computation Compilers & Interpreters

Directed Model Checking for B: An Evaluation and New Techniques	p. 1
Midlet Navigation Graphs in JML	p. 17
Runtime Verification for Generic Classes with ConGu2	p. 33
A High-Level Language for Modeling Algorithms and Their Properties	p. 49
A Formal Environment Model for Multi-Agent Systems	p. 64
A Modal Interface Theory with Data Constraints	p. 80
Synchronizing Model and Program Refactoring	p. 96
A Type-Theoretic Framework for Certified Model Transformations	p. 112
Simulating Truly Concurrent CSP	p. 128
Statistical Verification of Probabilistic Properties with Unbounded Until	p. 144
Reasoning about Assignments in Recursive Data Structures	p. 161
Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned	p. 177
A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence	p. 194
Formal Development of a Cardiac Pacemaker: From Specification to Code	p. 210
A Decision Procedure for Bisimilarity of Generalized Regular Expressions	p. 226
Normalization of Linear Horn Clauses	p. 242
A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs	p. 258
Automating Refinement of Circus Programs	p. 274
Author Index	p. 291
Table of Contents provided by Ingram. All Rights Reserved.

Formal Methods: Foundations and Applications

13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Business Mathematics & Systems

Turn The Ship Around!

A True Story of Turning Followers into Leaders

Never Split the Difference

Negotiating as if Your Life Depended on It

Positioning

The Battle for Your Mind

Recent Advances in Information Systems

Proceedings of the ICRAIS, Pointe aux Piments, Mauritius, 10-12 September 2025

Sutskever''s List

Foundational Ideas of Modern AI

Difficult Conversations

How to Discuss What Matters Most

The Black Swan: Second Edition

The Impact of the Highly Improbable: With a new section: "On Robustness and Fragility"

Storytelling with Data

1st Edition - A Data Visualization Guide for Business Professionals

Confident Data Skills

Master the Fundamentals of Working with Data and Supercharge Your Career

A Guide to the Business Analysis Body of Knowledge - BABOK

Business Analytics and Statistics

2nd Edition

Becoming Data Literate

Building a great business, culture and leadership through data and analytics

The Communication Book

44 Ideas for Better Conversations Every Day

Storyworthy

Engage, Teach, Persuade, and Change Your Life Through the Power of Storytelling

Business Analytics

3rd Global Edition

Essential Mathematics for Economics and Business

4th Edition

Business Statistics

8th edition - Australia and New Zealand

DAMA-DMBOK

Data Management Body of Knowledge

Microsoft Power BI Dashboards Step by Step

Step by Step

Storytelling with Data

A Data Visualization Guide for Business Professionals, 10th Anniversary Edition

Introductory Mathematical Analysis for Business, Economics, and the Life and Social Sciences

14th edition

Intermediate Financial Theory

3rd Edition

Artificial Intelligence For Dummies

For Dummies (Computer/Tech)

Business Statistics

4th Global Edition

This product is categorised by