Fundamental Approaches to Software Engineering Image close
Fundamental Approaches to Software Engineering
Fundamental Approaches to Software Engineering
Show Hide Adult Content
Fundamental Approaches to Software Engineering close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming  
Algorithms & procedures

Fundamental Approaches to Software Engineering

12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

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

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

Availability

Delivering to:

Estimated arrival:

  • Around 11-21 June using International Courier

Explore more Theoretical Computer Science and General Issues

See all products in this series

Frontiers of High Performance Computing and Networking - ISPA 2007 Workshops
$303.00
Frontiers of High Performance Computing and Networking - ISPA 2007...
Paperback / softback
Available - Usually ships in 3-4 weeks
Graph Drawing
$156.00
Graph Drawing
Paperback / softback
Available - Usually ships in 3-4 weeks
Hybrid Learning and Education
$158.00
Hybrid Learning and Education
Paperback / softback
Available - Usually ships in 3-4 weeks
Cellular Automata and Discrete Complex Systems
$151.00
Cellular Automata and Discrete Complex Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Hybrid Learning
$155.00
Hybrid Learning
Paperback / softback
Available - Usually ships in 3-4 weeks
Learning and Intelligent Optimization
$162.00
Learning and Intelligent Optimization
Paperback / softback
Available - Usually ships in 3-4 weeks
Models of Strategic Reasoning
$154.00
Models of Strategic Reasoning
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods Teaching
$153.00
Formal Methods Teaching
Paperback / softback
Available - Usually ships in 3-4 weeks
Supercomputing
$160.00
Supercomputing
Paperback / softback
Available - Usually ships in 3-4 weeks
Unconventional Computation
$153.00
Unconventional Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
CONCUR 2008 - Concurrency Theory
$160.00
CONCUR 2008 - Concurrency Theory
Paperback / softback
Available - Usually ships in 3-4 weeks
Verification, Model Checking, and Abstract Interpretation
$156.00
Verification, Model Checking, and Abstract Interpretation
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Neural Networks – ISNN 2020
$153.00
Advances in Neural Networks – ISNN 2020
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Science and Its Applications – ICCSA 2021
$295.00
Computational Science and Its Applications – ICCSA 2021
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Aided Verification
$158.00
Computer Aided Verification
Paperback / softback
Available - Usually ships in 3-4 weeks
Theorem Proving in Higher Order Logics
$156.00
Theorem Proving in Higher Order Logics
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the refereed proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering, FASE 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 30 revised full papers presented together with 2 tool demonstrations were carefully reviewed and selected from 123 regluar and 9 tool paper submissions. The topics addressed are model-driven development, synthesis and adaptation, modeling, testing and debugging, model analysis, patterns, security, queries and error handling, and tools (demos) and program analysis.
Release date NZ
March 9th, 2009
Audience
  • Professional & Vocational
Contributors
  • Edited by Marsha Chechik
  • Edited by Martin Wirsing
Illustrations
XIII, 488 p.
Pages
488
Dimensions
155x235x30
ISBN-13
9783642005923
Product ID
2787320

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 >
Algorithms & procedures
Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer Programming >
Programming languages
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