Foundations of Software Science and Computation Structures Image close
Foundations of Software Science and Computation Structures
Foundations of Software Science and Computation Structures
Show Hide Adult Content
Foundations of Software Science and Computation Structures close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Discrete mathematics

Foundations of Software Science and Computation Structures

21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$162.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 $40.50 with Afterpay Learn more

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

Availability

Delivering to:

Estimated arrival:

  • Around 25 Jun - 5 Jul using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT
$200.00
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in...
Paperback / softback
Pre-order - out 14 Jul 2024
Directions in Human Factors for Interactive Systems by Henry Ledgard
$140.00
Directions in Human Factors for Interactive Systems
by Henry Ledgard ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Semantics of Concurrent Computation
$138.00
Semantics of Concurrent Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
Exercises in Computer Systems Analysis by Wolfgang Everling
$96.00
Exercises in Computer Systems Analysis
by Wolfgang Everling ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Rechnerstrukturen und Betriebsprogrammierung
$162.00
Rechnerstrukturen und Betriebsprogrammierung
Paperback / softback
Available - Usually ships in 3-4 weeks
Euro-Par '96 - Parallel Processing
$304.00
Euro-Par '96 - Parallel Processing
Paperback / softback
Available - Usually ships in 3-4 weeks
Processes, Terms and Cycles: Steps on the Road to Infinity
$321.00
Processes, Terms and Cycles: Steps on the Road to Infinity
Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
$180.00
Mathematical Foundations of Software Development. Proceedings of the...
Paperback / softback
Available - Usually ships in 3-4 weeks
Functional and Constraint Logic Programming
$150.00
Functional and Constraint Logic Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Human-Centered and Error-Resilient Systems Development
$152.00
Human-Centered and Error-Resilient Systems Development
Paperback / softback
Available - Usually ships in 3-4 weeks
Database and Expert Systems Applications
$238.00
Database and Expert Systems Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Cybersecurity of Digital Service Chains
$137.00
Cybersecurity of Digital Service Chains
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Science and Its Applications – ICCSA 2020
$289.00
Computational Science and Its Applications – ICCSA 2020
Paperback / softback
Available - Usually ships in 3-4 weeks
The Semantic Web: ESWC 2019 Satellite Events
$150.00
The Semantic Web: ESWC 2019 Satellite Events
Paperback / softback
Available - Usually ships in 3-4 weeks
Advanced Information Systems Engineering
$150.00
Advanced Information Systems Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Algorithmic Game Theory
$263.00
Algorithmic Game Theory
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions. The papers are organized in topical sections named: semantics; linearity; concurrency; lambda-calculi and types; category theory and quantum control; quantitative models; logics and equational theories; and graphs and automata.
Release date NZ
April 14th, 2018
Contributors
  • Edited by Christel Baier
  • Edited by Ugo Dal Lago
Pages
583
Edition
1st ed. 2018
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
Illustrations
75 Illustrations, black and white; XV, 583 p. 75 illus.
ISBN-13
9783319893655
Product ID
27743390

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 >
Non-Fiction >
Maths & Science >
Mathematics >
Discrete mathematics
Books >
Computers & Internet >
Computing: general
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation >
Maths for computer scientists
Books >
Computers & Internet >
Computer science >
Systems analysis & design
Books >
Computers & Internet >
Computer science >
Artificial intelligence