BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg

Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg

Foundations of Software Science and Computation Structures: 27th International
Stock photo: cover may vary

Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg Paperback - 2024

by Kobayashi, Naoki (Editor)/ Worrell, James (Editor)

Add to wish list
  • New
  • Paperback
New

Description

Springer-Nature New York Inc, 2024. Paperback. New. 296 pages. 9.25x6.10x9.21 inches.
Ask the seller a question Add to wish list
A$118.52
A$28.94 Delivery to USA
Standard delivery: 7 to 14 days
More delivery options
Ships from Revaluation Books (Devon, United Kingdom)

Details

  • Title Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg
  • Author Kobayashi, Naoki (Editor)/ Worrell, James (Editor)
  • Binding Paperback
  • Condition New
  • Pages 280
  • Volumes 1
  • Language ENG
  • Publisher Springer-Nature New York Inc
  • Publication date 2024
  • Illustrated Yes
  • Features Illustrated
  • Bookseller's Inventory # x-3031572270
  • ISBN 9783031572272 / 3031572270
  • Weight 0.93 lbs (0.42 kg)
  • Dimensions 9.21 x 6.14 x 0.62 in (23.39 x 15.60 x 1.57 cm)
  • Category Computers - General Information
  • Quantity available 2

About Revaluation Books Devon, United Kingdom

Biblio member since 2020

General bookseller of both fiction and non-fiction.

Terms of Sale: 30 day return guarantee, with full refund including original shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.

Browse books from Revaluation Books

Reader reviews for Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg

From the rear cover

The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024.
The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows:
Part I: Infinite games; categorical semantics; automata and synthesis; Part II: Types and programming languages; logic and proofs; infinite-state systems.
tracking-