JOIN / SIGN IN

Welcome to Hatchards Rewards

Earn a Rewards Stamp for every £10 you spend in our shops or online*

Every 10 Rewards Stamps you earn adds £10 to your Rewards Balance

Spend your Rewards Balance in our shops or online, with no minimum redemption*

*Exclusions apply, see full T&Cs for details.

Learn More

Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

Márcio Cornélio (editor), Bill Roscoe (editor)

Paperback Published on: 03/02/2016

£34.99

No reviews yet, be the first

Free UK delivery on orders over £25

We can order this from the publisher
Usually dispatched within 3 weeks

Make and edit your lists in your account

No stock available in any shop.

We can order this from the publisher
Usually dispatched within 3 weeks

No stock available in any shop.

Synopsis

This book constitutes revised selected papers from the
18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo
Horizonte, Brazil, in September 2015.

The 11 papers presented in this volume were carefully
reviewed and selected from 25 submissions. They were organized in topical
sections named: model checking; languages and semantics; refinement and
verification; testing and evaluation.