Condition: Good. 413 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Seller: Brook Bookstore, Milano, MI, Italy
Condition: new.
Seller: Brook Bookstore, Milano, MI, Italy
Condition: new.
Published by Springer Nature Switzerland AG, Cham, 2022
ISBN 10: 3030992527 ISBN 13: 9783030992521
Language: English
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
First Edition
Paperback. Condition: new. Paperback. This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 23 regular papers presented in this volume were carefully reviewed and selected from 77 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems. This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Seller: Brook Bookstore On Demand, Napoli, NA, Italy
Condition: new.
Condition: New.
Seller: Books From California, Simi Valley, CA, U.S.A.
paperback. Condition: Very Good.
Published by Springer Nature Switzerland AG, 2022
ISBN 10: 3030992527 ISBN 13: 9783030992521
Language: English
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Published by Springer International Publishing AG, Cham, 2024
ISBN 10: 3031572300 ISBN 13: 9783031572302
Language: English
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
First Edition
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: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New.
Condition: New.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Condition: New.
Published by Springer International Publishing AG, Cham, 2024
ISBN 10: 3031572270 ISBN 13: 9783031572272
Language: English
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
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.
Condition: As New. Unread book in perfect condition.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Condition: As New. Unread book in perfect condition.
Published by Springer-Nature New York Inc, 2024
ISBN 10: 3031572300 ISBN 13: 9783031572302
Language: English
Seller: Revaluation Books, Exeter, United Kingdom
Hardcover. Condition: Brand New. 288 pages. 9.25x6.10x9.33 inches. In Stock.
Published by Saint Philip Street Press, 2020
ISBN 10: 1013271300 ISBN 13: 9781013271304
Language: English
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Published by Saint Philip Street Press, 2020
ISBN 10: 1013271300 ISBN 13: 9781013271304
Language: English
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.