Paperback. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

Seller Inventory # 9783031572302

Contact seller

Report this item

Bibliographic Details

Title

Foundations of Software Science and Computation Structures (Paperback)

Publisher

Springer International Publishing AG, Cham

Publication Date

2024

Language

English

ISBN 10

3031572300

ISBN 13

9783031572302

Binding

Paperback

Edition

1st Edition

Condition

new

Seller catalogs

About this title

Synopsis

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.

From the Back Cover

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.

"About this title" may belong to another edition of this title.

Store Description

Visit Seller's Storefront

Seller's business information

APOLLO ONLINE CORP.
605 Geddes Street, Wilmington, DE, 19805, U.S.A.

Sale & Shipping Terms

Terms of Sale

We guarantee the condition of every book as it�s described on the Abebooks web sites. If you�ve changed
your mind about a book that you�ve ordered, please use the Ask bookseller a question link to contact us
and we�ll respond within 2 business days.
Books ship from California and Michigan.

Shipping Terms

Orders usually ship within 2 business days. All books within the US ship free of charge. Delivery is 4-14 business days anywhere in the United States.

Books ship from California and Michigan.

If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	6 to 16 business days	6 to 14 business days
First item	US$ 0.00	US$ 0.00

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.