Formal Methods Image close
Formal Methods
Formal Methods
Show Hide Adult Content
Formal Methods close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer programming / software development  
Software Engineering

Formal Methods

22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$263.00
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
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $65.75 with Afterpay Learn more

6 weekly interest-free payments of $43.83 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 26 Jun - 8 Jul using International Courier

Explore more Programming and Software Engineering

See all products in this series

Automated Technology for Verification and Analysis
$153.00
Automated Technology for Verification and Analysis
Paperback / softback
Available - Usually ships in 3-4 weeks
Testing Software and Systems
$150.00
Testing Software and Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
ECOOP - Object-Oriented Programming
$299.00
ECOOP - Object-Oriented Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Ada 2012 Reference Manual. Language and Standard Libraries
$437.00
Ada 2012 Reference Manual. Language and Standard Libraries
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods and Software Engineering
$303.00
Formal Methods and Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Aspects of Component Software
$150.00
Formal Aspects of Component Software
Paperback / softback
Available - Usually ships in 3-4 weeks
Programming Languages and Systems
$150.00
Programming Languages and Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Model Driven Engineering Languages and Systems
$302.00
Model Driven Engineering Languages and Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Autonomic and Trusted Computing
$297.00
Autonomic and Trusted Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Product-Focused Software Process Improvement
$150.00
Product-Focused Software Process Improvement
Paperback / softback
Available - Usually ships in 3-4 weeks
Integrated Formal Methods
$150.00
Integrated Formal Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
Component-Based Software Engineering
$151.00
Component-Based Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Rules on the Web: Research and Applications
$149.00
Rules on the Web: Research and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Applications of Graph Transformations with Industrial Relevance
$191.00
Applications of Graph Transformations with Industrial Relevance
Paperback / softback
Available - Usually ships in 3-4 weeks
Logic, Computation and Rigorous Methods
$150.00
Logic, Computation and Rigorous Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
Practical Aspects of Declarative Languages
$188.00
Practical Aspects of Declarative Languages
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018. The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions. They present formal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical systems in general. The papers cover a broad range of topics in the following areas: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software systems engineering; and theoretical foundations.
Release date NZ
July 12th, 2018
Contributors
  • Edited by Bill Roscoe
  • Edited by Erik De Vink
  • Edited by Jan Peleska
  • Edited by Klaus Havelund
Pages
692
Edition
1st ed. 2018
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
Illustrations
131 Illustrations, black and white; XIV, 692 p. 131 illus.
ISBN-13
9783319955810
Product ID
28206538

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 >
Software Engineering
Books >
Computers & Internet >
Computer Applications >
Computer modelling & simulation
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Systems analysis & design
Books >
Computers & Internet >
Computer science >
Artificial intelligence