Items related to Foundations of Software Science and Computation Structures:...

Foundations of Software Science and Computation Structures: 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint ... (Lecture Notes in Computer Science, 13992) - Softcover

 
9783031308284: Foundations of Software Science and Computation Structures: 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint ... (Lecture Notes in Computer Science, 13992)

Synopsis

This open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023.

The 26 regular papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.

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

From the Back Cover

This open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023.

The 26 regular papers presented in this volume were carefully reviewed and selected from 85 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.

Buy Used

Zustand: Hervorragend | Seiten:...
View this item

£ 7.68 shipping from Germany to United Kingdom

Destination, rates & speeds

Search results for Foundations of Software Science and Computation Structures:...

Stock Image

Unbekannt
Published by Springer Nature Switzerland, 2023
ISBN 10: 303130828X ISBN 13: 9783031308284
Used Softcover

Seller: Buchpark, Trebbin, Germany

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

Condition: Hervorragend. Zustand: Hervorragend | Seiten: 576 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 41650075/1

Contact seller

Buy Used

£ 27.76
Convert currency
Shipping: £ 7.68
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

Published by Springer, 2023
ISBN 10: 303130828X ISBN 13: 9783031308284
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

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

Condition: New. In. Seller Inventory # ria9783031308284_new

Contact seller

Buy New

£ 40.42
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2023
ISBN 10: 303130828X ISBN 13: 9783031308284
Used paperback

Seller: Books From California, Simi Valley, CA, U.S.A.

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

paperback. Condition: Very Good. Seller Inventory # mon0003599760

Contact seller

Buy Used

£ 36.22
Convert currency
Shipping: £ 10.62
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 5 available

Add to basket

Seller Image

Pawel Sobocinski
ISBN 10: 303130828X ISBN 13: 9783031308284
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 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023.The 26 regular papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems. 576 pp. Englisch. Seller Inventory # 9783031308284

Contact seller

Buy New

£ 38.03
Convert currency
Shipping: £ 9.49
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

Pawel Sobocinski
Published by Springer Nature Switzerland, 2023
ISBN 10: 303130828X ISBN 13: 9783031308284
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 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023.The 26 regular papers presented in this volume were carefully reviewed and selected from 85 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 # 9783031308284

Contact seller

Buy New

£ 38.03
Convert currency
Shipping: £ 12.07
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

ISBN 10: 303130828X ISBN 13: 9783031308284
New Softcover
Print on Demand

Seller: moluna, Greven, Germany

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

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 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint. Seller Inventory # 834045628

Contact seller

Buy New

£ 35.20
Convert currency
Shipping: £ 21.57
From Germany to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2023
ISBN 10: 303130828X ISBN 13: 9783031308284
New Softcover
Print on Demand

Seller: Majestic Books, Hounslow, United Kingdom

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

Condition: New. Print on Demand. Seller Inventory # 401127765

Contact seller

Buy New

£ 58.43
Convert currency
Shipping: £ 3.35
Within United Kingdom
Destination, rates & speeds

Quantity: 4 available

Add to basket

Stock Image

Published by Springer, 2023
ISBN 10: 303130828X ISBN 13: 9783031308284
New Softcover

Seller: Books Puddle, New York, NY, U.S.A.

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

Condition: New. 1st ed. 2023 edition NO-PA16APR2015-KAP. Seller Inventory # 26396297866

Contact seller

Buy New

£ 58.95
Convert currency
Shipping: £ 6.59
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 4 available

Add to basket

Seller Image

Pawel Sobocinski
ISBN 10: 303130828X ISBN 13: 9783031308284
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 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023.The 26 regular papers presented in this volume were carefully reviewed and selected from 85 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 576 pp. Englisch. Seller Inventory # 9783031308284

Contact seller

Buy New

£ 38.03
Convert currency
Shipping: £ 30.20
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

Published by Springer, 2023
ISBN 10: 303130828X ISBN 13: 9783031308284
New Softcover
Print on Demand

Seller: Biblios, Frankfurt am main, HESSE, Germany

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

Condition: New. PRINT ON DEMAND. Seller Inventory # 18396297856

Contact seller

Buy New

£ 63.09
Convert currency
Shipping: £ 6.86
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 4 available

Add to basket

There are 1 more copies of this book

View all search results for this book