Order by 12PM ET on 6/11 for Delivery by Father's Day | Find a giftOrder by 12PM ET on 6/11 for Delivery by Father's Day | Find a gift
Add Item to wish listAdd Item to wish list

Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

By Jean Goubault-Larrecq (Editor), Barbara König (Editor)
Paperback
$49.99
By Jean Goubault-Larrecq (Editor), Barbara König (Editor)
Promotion message icon
Premium Members save an extra 10% and all Members collect stamps to save with Rewards. 10 stamps = $5.Learn More
Formats
In stock
This item is currently out of stock online.
Free standard shipping on orders over $60
Select a store to view item availability.
This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.
The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions.
The papers cover topics such as categorical models and logics; lang...

Categories

Science & TechnologyPhilosophyMathematicsMajor Branches of Philosophical StudyLogic & Foundations of MathematicsLogic