Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint . I (Lecture Notes in Computer Science, 14574)

ISBN 10: 3031572270 ISBN 13: 9783031572272

Published by Springer, 2024

New Soft cover

From Ria Christie Collections, Uxbridge, United Kingdom Seller rating 5 out of 5 stars

AbeBooks Seller since March 25, 2015

This specific item is no longer available.

View this seller's items Create a Want for similar items

View all copies of this book

About this Item

In. Seller Inventory # ria9783031572272_new

Report this item

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 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.

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

Bibliographic Details

Title: Foundations of Software Science and ...
Publisher: Springer
Publication Date: 2024
Binding: Soft cover
Condition: New

Top Search Results from the AbeBooks Marketplace

Seller Image

Foundations of Software Science and Computation Structures

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

ISBN 10: 3031572270 ISBN 13: 9783031572272

New Kartoniert / Broschiert

Seller: moluna, Greven, Germany

Seller rating 4 out of 5 stars

Kartoniert / Broschiert. Condition: New. Seller Inventory # 1429714517

Contact seller

Buy New

US$ 47.78

US$ 57.38 shipping
Ships from Germany to U.S.A.

Quantity: Over 20 available

Add to basket

Seller Image

More images

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 I

Naoki Kobayashi (u. a.)

Published by Springer, 2024

ISBN 10: 3031572270 ISBN 13: 9783031572272

New Taschenbuch

Seller: preigu, Osnabr�ck, Germany

Seller rating 5 out of 5 stars

Taschenbuch. Condition: Neu. 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 I | Naoki Kobayashi (u. a.) | Taschenbuch | xvi | Englisch | 2024 | Springer | EAN 9783031572272 | Verantwortliche Person f�r die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 128636985

Contact seller

Buy New

US$ 49.77

US$ 81.99 shipping
Ships from Germany to U.S.A.

Quantity: 5 available

Add to basket

Seller Image

Foundations of Software Science and Computation Structures

James Worrell

Published by Springer Nature Switzerland Apr 2024, 2024

ISBN 10: 3031572270 ISBN 13: 9783031572272

New Taschenbuch

Print on Demand

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

Seller rating 5 out of 5 stars

Taschenbuch. 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. 296 pp. Englisch. Seller Inventory # 9783031572272

Contact seller

Buy New

US$ 51.62

US$ 26.94 shipping
Ships from Germany to U.S.A.

Quantity: 2 available

Add to basket

Seller Image

Foundations of Software Science and Computation Structures

James Worrell

Published by Springer Nature Switzerland, Springer Nature Switzerland Apr 2024, 2024

ISBN 10: 3031572270 ISBN 13: 9783031572272

New Taschenbuch

Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany

Seller rating 5 out of 5 stars

Taschenbuch. Condition: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch. Seller Inventory # 9783031572272

Contact seller

Buy New

US$ 51.62

US$ 70.28 shipping
Ships from Germany to U.S.A.

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 I

James Worrell

Published by Springer Nature Switzerland, 2024

ISBN 10: 3031572270 ISBN 13: 9783031572272

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 # 9783031572272

Contact seller

Buy New

US$ 51.62

US$ 72.92 shipping
Ships from Germany to U.S.A.

Quantity: 1 available

Add to basket

Stock Image

Foundations of Software Science and Computation Structures (Paperback)

Naoki Kobayashi

Published by Springer International Publishing AG, Cham, 2024

ISBN 10: 3031572270 ISBN 13: 9783031572272

New Paperback

Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.

Seller rating 5 out of 5 stars

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 # 9783031572272

Contact seller