Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

Foundations of Software Science and Computation Structures

Best Price:
Buy Foundations of Software Science and Computation Structures for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
$39.99 $39.99

$39.99
See Site In stock Visit Store

Product Details

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783662466780
Condition
New
Product Description

This book constitutes the proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2015, held in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 28 full papers presented in this volume were carefully reviewed and selected from 93 submissions. They are organized in topical sections named: semantics of programming languages; categorical models and logics; concurrent, probabilistic and timed systems; automata, games, verification; logical aspects of computational complexity; and type theory, proof theory and implicit computational complexity. The book also contains one full paper invited talk.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

High Magnetic Fields in Semiconductor Physics III

High Magnetic Fields in Semiconductor Physics III

$84.99
Implementing Climate Change Measures in the EU

Implementing Climate Change Measures in the EU

$54.99
Differential Equations and Dynamical Systems

Differential Equations and Dynamical Systems

$64.99
Der Einflu interstitieller Volumennderungen auf K+-induzierte Herz-Kreislaufantriebe aus der Skele

Der Einflu interstitieller Volumennderungen auf K+-induzierte Herz-Kreislaufantriebe aus der Skele

$59.99
Phase Portraits of Control Dynamical Systems

Phase Portraits of Control Dynamical Systems

$54.99
Cytokine and Chemokine Networks in Cancer

Cytokine and Chemokine Networks in Cancer

$219.99
Perception, Class and Environment in the Works of Thomas Hardy

Perception, Class and Environment in the Works of Thomas Hardy

$34.99
Photocatalysis

Photocatalysis

$199.99
Iberian Military Politics

Iberian Military Politics

$54.99
Projektive Ebenen

Projektive Ebenen

$69.99
Dynamics of Charged Particulate Systems

Dynamics of Charged Particulate Systems

$54.99
Too Cool for School

Too Cool for School

$4.46
Mechanik deformierbarer Krper

Mechanik deformierbarer Krper

$69.99
Chronik des Deutschen Forstwesens im Jahre 1883

Chronik des Deutschen Forstwesens im Jahre 1883

$59.99
Research in Computational Molecular Biology

Research in Computational Molecular Biology

$139.99
Coherent Inelastic Neutron Scattering in Lattice Dynamics

Coherent Inelastic Neutron Scattering in Lattice Dynamics

$39.99
Advances in Petri Nets 1985

Advances in Petri Nets 1985

$39.99
Controlling eines projektorientierten Prozemanagements am Beispiel des Anlagenbaus

Controlling eines projektorientierten Prozemanagements am Beispiel des Anlagenbaus

$84.99
Structures for Semantics

Structures for Semantics

$169.99
Frontiers in Biomedicine

Frontiers in Biomedicine

$84.99
Programmierung mit Pascal

Programmierung mit Pascal

$54.99
Electronics Engineering

Electronics Engineering

$129.00
Imperial Frontier in the Tropics

Imperial Frontier in the Tropics

$74.99
Privacy Online

Privacy Online

$54.99
Algebraic Groups and their Representations

Algebraic Groups and their Representations

$219.99
Statistische Versuchsplanung

Statistische Versuchsplanung

$119.00
Die hormonale Therapie maligner Tumoren

Die hormonale Therapie maligner Tumoren

$69.99
Bond Graph Methodology

Bond Graph Methodology

$219.99
Beyond Left and Right Handedness

Beyond Left and Right Handedness

$119.00
Sign Levels

Sign Levels

$109.99
Introduction to Dependent Types with Idris

Introduction to Dependent Types with Idris

$37.99
Vitellogenin in Fishes- Diversification, Biological Properties, and Future Perspectives

Vitellogenin in Fishes- Diversification, Biological Properties, and Future Perspectives

$169.00
Ottomans and Armenians

Ottomans and Armenians

$109.00
Video Data Compression for Multimedia Computing

Video Data Compression for Multimedia Computing

$219.99
Consolation in Medieval Narrative

Consolation in Medieval Narrative

$39.99
The Future of Pension Plans in the EU Internal Market

The Future of Pension Plans in the EU Internal Market

$109.99
House of Furies (House of Furies Series #1) by Madeleine Roux

House of Furies (House of Furies Series #1) by Madeleine Roux

$10.99
Neurosurgical Robotics

Neurosurgical Robotics

$99.00
Coupled Mathematical Models for Physical and Biological Nanoscale Systems and Their Applications

Coupled Mathematical Models for Physical and Biological Nanoscale Systems and Their Applications

$109.99
Learn Unity 4 for iOS Game Development

Learn Unity 4 for iOS Game Development

$29.99
previous
next