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

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming  
Software engineering

Software Engineering and Formal Methods

Sorry, this product is not currently available to order

Here are some other products you might consider...

Explore more Programming and Software Engineering

See all products in this series

Testing Software and Systems
$150.00
Testing Software and Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Automated Technology for Verification and Analysis
$153.00
Automated Technology for Verification and Analysis
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
Integrated Formal Methods
$150.00
Integrated Formal Methods
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
Product-Focused Software Process Improvement
$150.00
Product-Focused Software Process Improvement
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
Logic, Computation and Rigorous Methods
$150.00
Logic, Computation and Rigorous Methods
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
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
Principles and Practice of Constraint Programming
$150.00
Principles and Practice of Constraint Programming
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
Formal Aspects of Component Software
$150.00
Formal Aspects of Component Software
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
Component-Based Software Engineering
$151.00
Component-Based Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Software Engineering and Formal Methods

9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
Unavailable
Sorry, this product is not currently available to order

Description

This book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Uruguay, in November 2011. The 22 revised regular papers presented together with 1 short paper, 2 tool papers, and 4 keynote talks were carefully reviewed and selected from 105 initial abstracts and 85 full submissions. Besides the regular session the conference held a special track devoted to "Modeling for Sustainable Development" with 5 accepted papers - selected from 7 submissions - that are also part of this volume. The aim of SEFM is to advance the state of the art in formal methods, to scale up their application in software industry and to encourage their integration with practical engineering methods.
Release date NZ
October 21st, 2011
Audience
  • Professional & Vocational
Contributors
  • Edited by Alberto Pardo
  • Edited by Gerardo Schneider
  • Edited by Gilles Barthe
Illustrations
154 Illustrations, black and white; XIV, 504 p. 154 illus.
Pages
504
Dimensions
155x235x28
ISBN-13
9783642246890
Product ID
18500232

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

Help & options

Filed under...

Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Computers & Internet >
Internet >
Network computers
Books >
Computers & Internet >
Computer Applications >
Artificial intelligence
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 >
Programming & scripting languages: general
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Artificial intelligence