Foundations of Software Science and Computational Structures Image close
Foundations of Software Science and Computational Structures
Foundations of Software Science and Computational Structures
Show Hide Adult Content
Foundations of Software Science and Computational Structures close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Systems analysis & design

Foundations of Software Science and Computational Structures

10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$138.99
RRP:
$161.95 save $22.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.75 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 18-28 June using International Courier

Explore more Theoretical Computer Science and General Issues

See all products in this series

Foundations of Software Science and Computational Structures Save $47
$155.99
$203.95
Foundations of Software Science and Computational Structures
Paperback / softback
Available - Usually ships in 3-4 weeks
Tools and Algorithms for the Construction and Analysis of Systems Save $66
$158.99
$225.95
Tools and Algorithms for the Construction and Analysis of Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Linguistics and Intelligent Text Processing
$276.99
Computational Linguistics and Intelligent Text Processing
Paperback / softback
Available - Usually ships in 3-4 weeks
Algorithms - ESA 2007
$278.99
$280.95
Algorithms - ESA 2007
Paperback / softback
Available - Usually ships in 3-4 weeks
Numerical Methods and Applications
$277.99
$280.95
Numerical Methods and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Development in Language Theory Save $8
$142.99
$151.95
Development in Language Theory
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Science and Its Applications - ICCSA 2011
$277.99
Computational Science and Its Applications - ICCSA 2011
Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematical Foundations of Computer Science 2012
$301.99
Mathematical Foundations of Computer Science 2012
Paperback / softback
Available - Usually ships in 3-4 weeks
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics
$124.99
Evolutionary Computation, Machine Learning and Data Mining in...
Paperback / softback
Available - Usually ships in 3-4 weeks
Logic, Rationality, and Interaction
$138.99
Logic, Rationality, and Interaction
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Modeling and Analysis of Timed Systems
$136.99
Formal Modeling and Analysis of Timed Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Automata, Languages and Programming
$274.99
Automata, Languages and Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Science and Its Applications - ICCSA 2011
$276.99
Computational Science and Its Applications - ICCSA 2011
Paperback / softback
Available - Usually ships in 3-4 weeks
Integration of AI and OR Techniques in Constraint Programming
$140.99
$145.95
Integration of AI and OR Techniques in Constraint Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Applied Parallel and Scientific Computing Save $14
$143.99
$158.95
Applied Parallel and Scientific Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Supercomputing
$142.99
Supercomputing
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2007, held in Braga, Portugal in March/April 2007. The 25 revised full papers presented together with the abstract of one invited talk cover a broad spectrum on theories and methods to support analysis, synthesis, transformation and verification of programs and software systems.
Release date Australia
March 9th, 2007
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
Contributor
  • Edited by Helmut Seidl
Illustrations
XVI, 379 p.
Pages
379
Dimensions
156x234x20
ISBN-13
9783540713883
Product ID
2495886

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 >
Systems analysis & design
Books >
Computers & Internet >
Computer Programming
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
Books >
Computers & Internet >
Computer science >
Systems analysis & design