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 Software Engineering

Fundamentals of Software Architecture

A Modern Engineering Approach

The Essence of Software Engineering

Semantics With Applications

Advanced Topics in Computer Science

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Design Patterns

Elements of Reusable Object-Oriented Software

Designing Data-Intensive Applications

Big Ideas Behind Reliable, Scalable, and Maintainable Systems

The Devops Handbook: 2nd Edition

How to Create World-Class Agility, Reliability, & Security in Technology

The Staff Engineer's Path

A Guide For Individual Contributors Navigating Growth and Change

User Story Mapping

Discover the Whote Story, Build the Right Product

Clean Architecture

A Craftsman's Guide to Software Structure and Design

Object-Oriented and Classical Software Engineering - Global Edition

8th Edition

Developing Graphics Frameworks with Java and OpenGL

Git : Pocket Guide

A Working Introduction

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Hacking For Dummies

For Dummies (Computer/Tech)

The Engineering Leader

Strategies for Scaling Teams and Yourself

Learning Agile

Understanding Scrum, XP, Lean, and Kanban

Technology Strategy Patterns

Analyzing and Communicating Architectural Decisions

Learning Modern C++ for Finance

Foundations for Quantitative Programming

This product is categorised by