Paperback. Condition: new. 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

Buy New

� 53.66

Convert currency

Shipping: FREE

Within U.S.A.

Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Foundations of Software Science and Computation Structures

Naoki Kobayashi

Published by Springer, Berlin, Springer Nature Switzerland, ETAPS Society, Springer, 2024

ISBN 10: 3031572300 ISBN 13: 9783031572302

New Buch

Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the27th International Conference onFoundations 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. 272 pp. Englisch. Seller Inventory # 9783031572302

Contact seller

Buy New

� 37.24

Convert currency

Shipping: � 19.44

From Germany to U.S.A.

Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

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 City, Luxembourg, April 6�11, 2024, Proceedings, Part II

James Worrell

Published by Springer Nature Switzerland, 2024

ISBN 10: 3031572300 ISBN 13: 9783031572302

New Taschenbuch

Seller: AHA-BUCH GmbH, Einbeck, Germany

Seller rating 5 out of 5 stars

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the27th International Conference onFoundations 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. Seller Inventory # 9783031572302

Contact seller