Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

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

This book constitutes the proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016. The 31 full papers presented in this volume were carefully reviewed and selected from 85 submissions. They were organized in topical sections named: types; recursion and fixed-points; verification and program analysis; automata, logic, games; probabilistic and timed systems; proof theory and lambda calculus; algorithms for infinite systems; and monads.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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
Contact Store Call Store Contact Support
$39.99 $39.99

10% OFF
This deals requires coupon Get Code Here
$36.00
See Site In stock Visit Store

Similar Products

Intervention and Technological Innovation

$74.99

The Mathematical Representation of Physical Reality

$59.99

The Last Firehawk #10: The Secret Maze

$5.24

Scientific Applications of Neural Nets

$39.99

Transcutane Sauerstoffmessung

$69.99

Novel Devices Based on Relaxor Ferroelectric PMN-PT Single Crystals

$84.99

Intelligent Computer Mathematics

$89.00

Innovationen in Industrieunternehmen

$69.95

Basiswissen Physikalische Chemie

$44.99

Between Autonomy and Dependence

$109.99

Smart AD and DA Conversion

$84.99

Saint Thomas and Platonism

$54.99

Statistik fr Ingenieure

$29.99

Associative Memory Cells: Basic Units of Memory Trace

$109.99

Hemoglobin Function in Vertebrates

$109.99

Topological Methods in Data Analysis and Visualization

$84.99

Handbook of Meningococcal Disease Management

$49.99

Physik-Manga

$39.99

Probability Towards 2000

$109.99

Indigenous Cognition: Functioning in Cultural Context

$219.99

Promoting Health for Working Women

$54.99

Critical Care Pediatric Nephrology and Dialysis: A Practical Handbook

$139.99

Trapping and the Detection, Control, and Regulation of Tephritid Fruit Flies

$169.99

Comprehensive Treatise of Electrochemistry

$219.99

Receptor Signal Transduction Protocols

$84.99

Relations, Bounds and Approximations for Order Statistics

$54.99

Flchtlinge in der Altenpflegeausbildung

$69.99

Bayesian Methods in the Search for MH370

$24.99

LLRW Disposal Facility Siting

$39.99

Projects as Business Constituents and Guiding Motives

$109.99

Mostly in the Line of Duty

$54.99

Principles of Distributed Systems

$39.99

Design of Deep Braced Excavation and Earth Retaining Systems Under Complex Built Environment

$199.99

George Grove, Music and Victorian Culture

$109.99

Standort als Wettbewerbsfaktor fr einige Zweige der westdeutschen Textilindustrie

$69.99

Thermal Engineering

$99.99

Computational Methods and Data Engineering

$169.00

Number Theory

$34.99

Sag mal: Wo gehts lang und wie kommen wir dahin?

$17.99

Einfhrung in die Mikrokonomik

$29.99