Formal Methods and Software Engineering Image close
Formal Methods and Software Engineering
Formal Methods and Software Engineering
Show Hide Adult Content
Formal Methods and Software Engineering close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Mathematical theory of computation

Formal Methods and Software Engineering

16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

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

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

Availability

Delivering to:

Estimated arrival:

  • Around 11-21 June using International Courier

Explore more Programming and Software Engineering

See all products in this series

Programming Languages and Systems
$155.00
Programming Languages and Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Verified Software. Theories, Tools, and Experiments
$153.00
Verified Software. Theories, Tools, and Experiments
Paperback / softback
Available - Usually ships in 3-4 weeks
Product-Focused Software Process Improvement
$157.00
Product-Focused Software Process Improvement
Paperback / softback
Available - Usually ships in 3-4 weeks
Integrated Formal Methods
$153.00
Integrated Formal Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
Embedded Systems Design
$300.00
Embedded Systems Design
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods for Open Object-Based Distributed Systems
$151.00
Formal Methods for Open Object-Based Distributed Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods for Industrial Critical Systems
$151.00
Formal Methods for Industrial Critical Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Agent-Oriented Software Engineering IX
$152.00
Agent-Oriented Software Engineering IX
Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematics of Program Construction
$153.00
Mathematics of Program Construction
Paperback / softback
Available - Usually ships in 3-4 weeks
Component-Based Software Engineering
$154.00
Component-Based Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Rules on the Web: Research and Applications
$153.00
Rules on the Web: Research and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Reliable Software Technologies – Ada-Europe 2016
$151.00
Reliable Software Technologies – Ada-Europe 2016
Paperback / softback
Available - Usually ships in 3-4 weeks
Software Architecture
$160.00
Software Architecture
Paperback / softback
Available - Usually ships in 3-4 weeks
Algebraic Methodology and Software Technology
$154.00
Algebraic Methodology and Software Technology
Paperback / softback
Available - Usually ships in 3-4 weeks
Programming Languages and Systems
$157.00
Programming Languages and Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Techniques for Distributed Systems
$151.00
Formal Techniques for Distributed Systems
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.
Release date NZ
September 23rd, 2014
Audience
  • Professional & Vocational
Contributors
  • Edited by Jun Pang
  • Edited by Stephan Merz
Illustrations
125 Illustrations, black and white; XVIII, 460 p. 125 illus.
Pages
460
Dimensions
155x235x25
ISBN-13
9783319117362
Product ID
22776337

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 >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer Programming >
Algorithms & procedures
Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Computers & Internet >
Computer hardware >
Network hardware
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer programming / software development >
Algorithms & data structures
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer programming / software development >
Programming & scripting languages: general
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation