FM 2016: Formal Methods Image close
FM 2016: Formal Methods
FM 2016: Formal Methods
Show Hide Adult Content
FM 2016: Formal Methods close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer science  
Mathematical theory of computation

FM 2016: Formal Methods

21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$167.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 $41.75 with Afterpay Learn more

6 weekly interest-free payments of $27.83 with Laybuy 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

Integrated Formal Methods
$151.00
Integrated Formal Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematics of Program Construction
$152.00
Mathematics of Program Construction
Paperback / softback
Available - Usually ships in 3-4 weeks
End-User Development
$151.00
End-User Development
Paperback / softback
Available - Usually ships in 3-4 weeks
Reversible Computation
$151.00
Reversible Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
Object-Oriented Technology. ECOOP 2004 Workshop Reader
$149.00
Object-Oriented Technology. ECOOP 2004 Workshop Reader
Paperback / softback
Available - Usually ships in 3-4 weeks
Agile Processes in Software Engineering and Extreme Programming
$150.00
Agile Processes in Software Engineering and Extreme Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Agent-Oriented Software Engineering IX
$151.00
Agent-Oriented Software Engineering IX
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods and Software Engineering
$151.00
Formal Methods and Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
ECOOP - Object-Oriented Programming
$302.00
ECOOP - Object-Oriented Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Software Architecture
$159.00
Software Architecture
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Aspects of Component Software
$151.00
Formal Aspects of Component Software
Paperback / softback
Available - Usually ships in 3-4 weeks
Software Engineering Approaches for Offshore and Outsourced Development
$149.00
Software Engineering Approaches for Offshore and Outsourced...
Paperback / softback
Available - Usually ships in 3-4 weeks
Applications of Graph Transformations with Industrial Relevance
$193.00
Applications of Graph Transformations with Industrial Relevance
Paperback / softback
Available - Usually ships in 3-4 weeks
Verified Software: Theorie, Tools, Experiments
$153.00
Verified Software: Theorie, Tools, Experiments
Paperback / softback
Available - Usually ships in 3-4 weeks
Modelling Foundations and Applications
$150.00
Modelling Foundations and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods and Software Engineering
$156.00
Formal Methods and Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk and one invited presentation were carefully reviewed and selected from 162 submissions. The  broad topics of interest for FM include: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software and systems engineering; theoretical foundations.
Release date NZ
November 8th, 2016
Contributors
  • Edited by Anna Philippou
  • Edited by Constance Heitmeyer
  • Edited by John Fitzgerald
  • Edited by Stefania Gnesi
Pages
789
Edition
1st ed. 2016
Audience
  • Professional & Vocational
Illustrations
204 Illustrations, black and white; XXIII, 789 p. 204 illus.
Dimensions
155x235x41
ISBN-13
9783319489889
Product ID
26138115

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 science >
Mathematical theory of computation
Books >
Business & Economics >
Business & Management >
Business Maths & Systems
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering