Formal Methods: Foundations and Applications Image close
Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
Show Hide Adult Content
Formal Methods: Foundations and Applications close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer programming / software development  
Programming & scripting languages: general

Formal Methods: Foundations and Applications

19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$135.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $34.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 13-25 June using International Courier

Explore more Programming and Software Engineering

See all products in this series

Formal Methods for Web Services
$173.99
Formal Methods for Web Services
Paperback / softback
Available - Usually ships in 3-4 weeks
Static Analysis Save $35
$141.99
$177.95
Static Analysis
Paperback / softback
Available - Usually ships in 3-4 weeks
Reversible Computation
$175.99
Reversible Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
Fundamentals of Software Engineering
$136.99
Fundamentals of Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Safety, Reliability, and Security Save $62
$140.99
$203.95
Computer Safety, Reliability, and Security
Paperback / softback
Available - Usually ships in 3-4 weeks
Tests and Proofs
$136.99
Tests and Proofs
Paperback / softback
Available - Usually ships in 3-4 weeks
Architecting Dependable Systems V Save $12
$138.99
$151.95
Architecting Dependable Systems V
Paperback / softback
Available - Usually ships in 3-4 weeks
Requirements Engineering: Foundation for Software Quality
$135.99
Requirements Engineering: Foundation for Software Quality
Paperback / softback
Available - Usually ships in 3-4 weeks
Rule-Based Reasoning, Programming, and Applications
$138.99
Rule-Based Reasoning, Programming, and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Techniques for Distributed Objects, Components, and Systems
$136.99
Formal Techniques for Distributed Objects, Components, and Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Quality of Software Architectures
$135.99
$140.95
Quality of Software Architectures
Paperback / softback
Available - Usually ships in 3-4 weeks
Requirements Engineering: Foundation for Software Quality
$139.99
Requirements Engineering: Foundation for Software Quality
Paperback / softback
Available - Usually ships in 3-4 weeks
Requirements Engineering: Foundation for Software Quality
$136.99
Requirements Engineering: Foundation for Software Quality
Paperback / softback
Available - Usually ships in 3-4 weeks
Integrated Formal Methods Save $30
$136.99
$167.95
Integrated Formal Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematics of Program Construction
$137.99
Mathematics of Program Construction
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Safety, Reliability, and Security
$160.99
Computer Safety, Reliability, and Security
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016. The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.
Release date Australia
November 13th, 2016
Contributors
  • Edited by Leila Ribeiro
  • Edited by Thierry Lecomte
Pages
253
Edition
1st ed. 2016
Audience
  • Professional & Vocational
Illustrations
62 Illustrations, black and white; X, 253 p. 62 illus.
Dimensions
155x235x14
ISBN-13
9783319498140
Product ID
26187165

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer programming / software development >
Programming & scripting languages: general
Books >
Business & Economics >
Business & Management >
Business Maths & Systems
Books >
Computers & Internet >
Computer Applications >
Computer modelling & simulation
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Human-computer interaction >
Information architecture