Foundations of Software Science and Computation Structures

Patricia Bouyer

ISBN 10: 3030992527 ISBN 13: 9783030992521
Published by Springer Nature Switzerland AG, 2022
New PAP

From PBShop.store UK, Fairford, GLOS, United Kingdom Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Heritage Bookseller
AbeBooks member since 1996

This specific item is no longer available.

About this Item

Description:

New Book. Shipped from UK. Established seller since 2000. Seller Inventory # S0-9783030992521

Report this item

Synopsis:

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.

 

From the Back Cover: 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.

 

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

Bibliographic Details

Title: Foundations of Software Science and ...
Publisher: Springer Nature Switzerland AG
Publication Date: 2022
Binding: PAP
Condition: New

Top Search Results from the AbeBooks Marketplace

Stock Image

Published by Springer, 2022
ISBN 10: 3030992527 ISBN 13: 9783030992521
Used paperback

Seller: HPB-Red, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

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 Inventory # S_375397766

Contact seller

Buy Used

£ 27.78
£ 2.80 shipping
Ships within U.S.A.

Quantity: 1 available

Add to basket

Stock Image

Bouyer, Patricia (Edited by)/ Schröder, Lutz (Edited by)
Published by Springer, 2022
ISBN 10: 3030992527 ISBN 13: 9783030992521
New Paperback
Print on Demand

Seller: Revaluation Books, Exeter, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Brand New. 488 pages. 9.25x6.10x1.18 inches. In Stock. This item is printed on demand. Seller Inventory # __3030992527

Contact seller

Buy New

£ 34.99
£ 12.50 shipping
Ships from United Kingdom to U.S.A.

Quantity: 2 available

Add to basket

Seller Image

ISBN 10: 3030992527 ISBN 13: 9783030992521
New Kartoniert / Broschiert
Print on Demand

Seller: moluna, Greven, Germany

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 Co. Seller Inventory # 566539905

Contact seller

Buy New

£ 35.71
£ 42.89 shipping
Ships from Germany to U.S.A.

Quantity: Over 20 available

Add to basket

Seller Image

Patricia Bouyer (u. a.)
Published by Springer, 2022
ISBN 10: 3030992527 ISBN 13: 9783030992521
New Taschenbuch

Seller: preigu, Osnabrück, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. Foundations of Software Science and Computation Structures | 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings | Patricia Bouyer (u. a.) | Taschenbuch | xvi | Englisch | 2022 | Springer | EAN 9783030992521 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 121286842

Contact seller

Buy New

£ 37.20
£ 61.29 shipping
Ships from Germany to U.S.A.

Quantity: 5 available

Add to basket

Stock Image

Bouyer, Patricia
Published by Springer 2022-03, 2022
ISBN 10: 3030992527 ISBN 13: 9783030992521
New PF

Seller: Chiron Media, Wallingford, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

PF. Condition: New. Seller Inventory # 6666-IUK-9783030992521

Contact seller

Buy New

£ 37.42
£ 15.49 shipping
Ships from United Kingdom to U.S.A.

Quantity: 10 available

Add to basket

Seller Image

Lutz Schröder
ISBN 10: 3030992527 ISBN 13: 9783030992521
New Taschenbuch
Print on Demand

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

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 488 pp. Englisch. Seller Inventory # 9783030992521

Contact seller

Buy New

£ 38.59
£ 20.14 shipping
Ships from Germany to U.S.A.

Quantity: 2 available

Add to basket

Seller Image

Lutz Schröder
ISBN 10: 3030992527 ISBN 13: 9783030992521
New Taschenbuch

Seller: AHA-BUCH GmbH, Einbeck, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783030992521

Contact seller

Buy New

£ 38.59
£ 55.75 shipping
Ships from Germany to U.S.A.

Quantity: 1 available

Add to basket

Seller Image

Lutz Schröder
ISBN 10: 3030992527 ISBN 13: 9783030992521
New Taschenbuch

Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

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

Contact seller

Buy New

£ 38.59
£ 52.53 shipping
Ships from Germany to U.S.A.

Quantity: 2 available

Add to basket

Seller Image

Bouyer, Patricia (EDT); Schroder, Lutz (EDT)
Published by Springer, 2022
ISBN 10: 3030992527 ISBN 13: 9783030992521
New Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 44374754-n

Contact seller

Buy New

£ 39.27
£ 1.97 shipping
Ships within U.S.A.

Quantity: Over 20 available

Add to basket

Seller Image

Bouyer, Patricia (EDT); Schroder, Lutz (EDT)
Published by Springer, 2022
ISBN 10: 3030992527 ISBN 13: 9783030992521
New Softcover

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 44374754-n

Contact seller

Buy New

£ 39.90
£ 15 shipping
Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Add to basket

There are 9 more copies of this book

View all search results for this book