Order Total (1 Item Items):
Shipping Destination:
Foundations Software Science Computation (343 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (343)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (295)
- As New, Fine or Near Fine (38)
- Very Good or Good (8)
- Fair or Poor (No further results match this refinement)
- As Described (2)
Collectible Attributes
- First Edition (10)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (137)
- Not Print on Demand (252)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on . (Lecture Notes in Computer Science)
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
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.
-
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!
-
US$ 40.00
Convert currencyUS$ 9.28 shipping from Italy to U.S.A.Quantity: 10 available
Add to basketCondition: new.
-
US$ 40.00
Convert currencyUS$ 9.28 shipping from Italy to U.S.A.Quantity: 5 available
Add to basketCondition: new.
-
Foundations of Software Science and Computation Structures (Paperback)
Published by Springer Nature Switzerland AG, Cham, 2022
ISBN 10: 3030992527 ISBN 13: 9783030992521
Language: English
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.
-
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!
-
US$ 45.67
Convert currencyUS$ 7.89 shipping from Italy to U.S.A.Quantity: 5 available
Add to basketCondition: new.
-
US$ 51.12
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Foundations of Software Science and Computation Structures (Lecture Notes in Computer Science)
Seller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: Very Good.
-
Foundations of Software Science and Computation Structures
Published by Springer Nature Switzerland AG, 2022
ISBN 10: 3030992527 ISBN 13: 9783030992521
Language: English
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
US$ 51.23
Convert currencyUS$ 6.71 shipping from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
Foundations of Software Science and Computation Structures (Paperback)
Published by Springer International Publishing AG, Cham, 2024
ISBN 10: 3031572300 ISBN 13: 9783031572302
Language: English
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.
-
US$ 54.83
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 56.24
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Foundations of Software Science and Computation Structures (Paperback)
Published by Springer Nature Switzerland AG, Cham, 2021
ISBN 10: 3030719944 ISBN 13: 9783030719944
Language: English
First Edition
Paperback. Condition: new. Paperback. This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.The 28 regular papers presented in this volume were carefully reviewed and selected from 88 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 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
US$ 56.27
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Foundations of Software Science and Computation Structures (Paperback)
Published by Springer Nature Switzerland AG, Cham, 2020
ISBN 10: 3030452301 ISBN 13: 9783030452308
Language: English
First Edition
Paperback. Condition: new. Paperback. This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions.The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; models of software security; and logical foundations of data bases. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
US$ 55.11
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 55.11
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Foundations of Software Science and Computation Structures (Paperback)
Published by Springer International Publishing AG, Cham, 2024
ISBN 10: 3031572270 ISBN 13: 9783031572272
Language: English
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.
-
US$ 57.60
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
US$ 57.95
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
US$ 58.56
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Foundations of Software Science and Computation Structures (Paperback)
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1998
ISBN 10: 3540643001 ISBN 13: 9783540643005
Language: English
Paperback. Condition: new. Paperback. This book constitutes the refereed proceedings of the First International Conference on the Foundations of Software Science and Computation Structures, FoSSaCS'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998.The 19 revised full papers presented in the book were carefully selected from a total of 44 submissions. Among the topics covered are formal specification, automata theory, term rewriting and rewriting systems, process algebras, formal language theory, type theory, event structures, and iteration theory. The 19 papers presented in this volume were selected from a total of 44 submissions. Among the topics covered are: formal specification; automata theory; term rewriting and rewriting systems; process algebras; formal language theory; type theory; event structures; and iteration theory. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
US$ 60.76
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 59.54
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
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
Published by Springer-Nature New York Inc, 2024
ISBN 10: 3031572300 ISBN 13: 9783031572302
Language: English
US$ 48.17
Convert currencyUS$ 16.71 shipping from United Kingdom to U.S.A.Quantity: 2 available
Add to basketHardcover. Condition: Brand New. 288 pages. 9.25x6.10x9.33 inches. In Stock.
