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  
Computer Programming  
Algorithms & procedures

Foundations of Software Science and Computational Structures

12th International Conference, FOSSACS 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
$155.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 $38.75 with Afterpay Learn more

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

Availability

Delivering to:

Estimated arrival:

  • Around 25 Jun - 5 Jul using International Courier

Explore more Theoretical Computer Science and General Issues

See all products in this series

Euro-Par 2019: Parallel Processing Workshops
$289.00
Euro-Par 2019: Parallel Processing Workshops
Paperback / softback
Available - Usually ships in 3-4 weeks
Modular Ontologies
$152.00
Modular Ontologies
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Science and Its Applications - ICCSA 2007
$471.00
Computational Science and Its Applications - ICCSA 2007
Paperback / softback
Available - Usually ships in 3-4 weeks
Algorithms and Architectures for Parallel Processing
$307.00
Algorithms and Architectures for Parallel Processing
Paperback / softback
Available - Usually ships in 3-4 weeks
Euro-Par 2013: Parallel Processing Workshops
$308.00
Euro-Par 2013: Parallel Processing Workshops
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Science -- ICCS 2005
$314.00
Computational Science -- ICCS 2005
Paperback / softback
Available - Usually ships in 3-4 weeks
Reachability Problems
$150.00
Reachability Problems
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Algebra in Scientific Computing
$263.00
Computer Algebra in Scientific Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
String Processing and Information Retrieval
$152.00
String Processing and Information Retrieval
Paperback / softback
Available - Usually ships in 3-4 weeks
Implementation and Application of Functional Languages
$191.00
Implementation and Application of Functional Languages
Paperback / softback
Available - Usually ships in 3-4 weeks
Neural Information Processing
$263.00
Neural Information Processing
Paperback / softback
Available - Usually ships in 3-4 weeks
Integer Programming and Combinatorial Optimization
$152.00
Integer Programming and Combinatorial Optimization
Paperback / softback
Available - Usually ships in 3-4 weeks
Typed Lambda Calculi and Applications
$148.00
Typed Lambda Calculi and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Logistics
$191.00
Computational Logistics
Paperback / softback
Available - Usually ships in 3-4 weeks
Descriptional Complexity of Formal Systems
$150.00
Descriptional Complexity of Formal Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematical Foundations of Computer Science 2007
$303.00
Mathematical Foundations of Computer Science 2007
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the refereed proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 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 two invited talks were carefully reviewed and selected from 102 full paper submissions. The topics addressed are semantics, logics and automata, algebras, automata theory, processes and models, security, probabilistic and quantitative models, synthesis, and program analysis and semantics.
Release date NZ
March 9th, 2009
Audience
  • Professional & Vocational
Contributor
  • Edited by Luca de Alfaro
Illustrations
XV, 471 p.
Pages
471
Dimensions
155x235x28
ISBN-13
9783642005954
Product ID
2787425

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 Applications
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