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

Computers & Internet Books:

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

Software Engineering and Formal Methods

12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$137.99
RRP:
$153.95 save $15.96
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.50 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 4-16 July using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Advances in Brain Inspired Cognitive Systems
$179.99
Advances in Brain Inspired Cognitive Systems
Paperback / softback
Pre-order - out 26 Jun 2024
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT
$182.99
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in...
Paperback / softback
Pre-order - out 20 Jul 2024
Multi-Agent-Based Simulation XII
$167.99
Multi-Agent-Based Simulation XII
Paperback / softback
Available - Usually ships in 3-4 weeks
Mobile, Secure, and Programmable Networking
$158.99
Mobile, Secure, and Programmable Networking
Paperback / softback
Available - Usually ships in 3-4 weeks
Internet of Things – ICIOT 2019
$135.99
Internet of Things – ICIOT 2019
Paperback / softback
Available - Usually ships in 3-4 weeks
Conditional Term Rewriting Systems Save $23
$134.99
$158.95
Conditional Term Rewriting Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Privacy in Statistical Databases
$135.99
Privacy in Statistical Databases
Paperback / softback
Available - Usually ships in 3-4 weeks
Scalable Uncertainty Management Save $27
$135.99
$163.95
Scalable Uncertainty Management
Paperback / softback
Available - Usually ships in 3-4 weeks
Paragon by Mark S. Sherman Save $44
$135.99
$180.95
Paragon
by Mark S. Sherman ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Modeling and Analysis of Timed Systems
$134.99
Formal Modeling and Analysis of Timed Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Verification, Model Checking, and Abstract Interpretation
$181.99
Verification, Model Checking, and Abstract Interpretation
Paperback / softback
Available - Usually ships in 3-4 weeks
Business Process Management
$193.99
Business Process Management
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Database Technology - EDBT '88
$163.99
Advances in Database Technology - EDBT '88
Paperback / softback
Available - Usually ships in 3-4 weeks
ICDT '88 Save $59
$136.99
$196.95
ICDT '88
Paperback / softback
Available - Usually ships in 3-4 weeks
Software Engineering
$118.99
Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Aided Verification
$123.99
Computer Aided Verification
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014. The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions. They are organized in topical section on program verification, testing, component-based systems, real-time and embedded systems, model checking and automata learning, program correctness, and adaptive and multi-agent systems.
Release date Australia
August 4th, 2014
Audience
  • Professional & Vocational
Contributors
  • Edited by Dimitra Giannakopoulou
  • Edited by Gwen Salaun
Illustrations
85 Illustrations, black and white; XXII, 394 p. 85 illus.
Pages
394
Dimensions
155x235x22
ISBN-13
9783319104300
Product ID
22616410

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 >
Software engineering
Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Computers & Internet >
Internet >
Network computers
Books >
Computers & Internet >
Computer hardware >
Network hardware
Books >
Computers & Internet >
Computer programming / software development
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