Foundations of Software Science and Computational Structures
Author:   Lars Birkedal
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Volume:   7213
ISBN:  

9783642287282


Pages:   501
Publication Date:   14 March 2012
Format:   Paperback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $186.30 Quantity:  
Add to Cart

Share |

Foundations of Software Science and Computational Structures


Add your own review!

Overview

This book constitutes the proceedings of the 15th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 29 papers presented in this book together with two invited talks in full paper length were carefully reviewed and selected from 100 full paper submissions. The papers deal with theories and methods to support analysis, synthesis, transformation and verification of programs and software systems.

Full Product Details

Author:   Lars Birkedal
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Volume:   7213
Dimensions:   Width: 15.50cm , Height: 2.50cm , Length: 23.50cm
Weight:   0.705kg
ISBN:  

9783642287282


ISBN 10:   364228728
Pages:   501
Publication Date:   14 March 2012
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now