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 7 to 10 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

Designing Data-Intensive Applications

Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Data-Driven Environmental Intelligence

Intelligent Data-Driven Technology for Sustainability

Intelligent Systems

Emerging Trends and Challenges in Deep Neuro-Fuzzy Models and Explainable Artificial Intelligence

Risk-First Software Development, Second Edition

Deliver Better Systems in a Post-Agile, AI World

Code

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

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Semantics With Applications

Advanced Topics in Computer Science

The Essence of Software Engineering

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Fundamentals of Software Architecture

A Modern Engineering Approach

Building Microservices

Designing Fine-Grained Systems 2nd Edition

The Staff Engineer's Path

A Guide For Individual Contributors Navigating Growth and Change

Design Patterns

Elements of Reusable Object-Oriented Software

The Devops Handbook: 2nd Edition

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

The Art of Spyro

Reignited Trilogy

Hacking For Dummies

For Dummies (Computer/Tech)

Arduino For Dummies

Blackwell Philosophy Anthologies

Developing Graphics Frameworks with Java and OpenGL

Coding All-in-One For Dummies

2nd Edition

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

Git : Pocket Guide

A Working Introduction

Designing Distributed Systems

Patterns and Paradigms for Scalable, Reliable Systems Using Kubernetes

This product is categorised by