Copied Foundations of Software Science and Computation Structures
Foundations of Software Science and Computation Structures
This book constitutes the proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, which took place in Grenoble, France, in April 2014. The 28 papers included in this book, together with one invited talk, were selected from 106 full-paper submissions. The following topical areas are covered: probabilistic systems, semantics of programming languages, networks, program analysis, games and synthesis, compositional reasoning, bisimulation, categorical and algebraic models and logics of programming. ... Show More Show Less
Price Comparison
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Meteorologie der Strahlstrme
Social Information Access
$119.00
Mathematische Grundlagen der Ingenieurinformatik
$89.00
Fallstudien zu akademischen Ausgrndungen
$19.99
Vitamine und Antivitamine
$59.99
Children and Sport
$109.99
Coming Up Cuban (Hardcover)
$14.24
Tudor Queenship
$89.00
Botrytis the Fungus, the Pathogen and its Management in Agricultural Systems
$249.99
Environmental Instrumentation
$54.99
Product and Service Design Innovation
$54.99
Thermodynamics and Constitutive Equations
$39.99
Commemoration and Oblivion in Royalist Print Culture, 1658-1667
$79.99
Discrete-time Sliding Mode Control
$84.99
XI. Die glucosurische Osteopathie
$59.99
Lehrbuch Tertiale Notfall- und Intensivmedizin
$34.99
Chemische Bestimmungsmethoden von Steroidhormonen in Krperflssigkeiten
$59.99
Educational Equality and International Students
$79.99
Frontiers in Cerebral Vascular Biology
$39.99
Geldwertbewutsein und Sparerverhalten
$59.99
Human Capital Investment
$119.99
Lsungsbuch Steuerungstechnik mit SPS
$34.99
Global Analysis on Foliated Spaces
$54.99
Materials Processing Fundamentals 2018
$169.99
Interrogating Conceptions of Vulnerable Youth in Theory, Policy and Practice
$49.99
Quantum Computer Systems
$54.99
Functional Membranes for High Efficiency Molecule and Ion Transport
$159.99
IoT and Smart Devices for Sustainable Environment
$179.99
Regional Economic Analysis of Power, Elections, and Secession
$79.99
Intelligent Astrophysics
$199.99
Endoskopie der Nasennebenhhlen
$74.99
Experimentalphysik 4
$59.99
Molecular Genetics of Colorectal Neoplasia
$84.99
The Palgrave Handbook of Methodological Individualism
$219.99
Gothic Romanticism
$129.99
Biomedical Engineering Systems and Technologies
$39.99
Radioforschung
$69.99
Computational Biology
$39.99
Next Generation Intelligent Environments
$84.99
Handbook of the Sociology of Education
$39.99
