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

Foundations of Software Science and Computation Structures: 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint ... (Lecture Notes in Computer Science, 15691) - Softcover

 
9783031908965: Foundations of Software Science and Computation Structures: 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint ... (Lecture Notes in Computer Science, 15691)

Synopsis

This open access book constitutes the proceedings of the 28th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2025, which took place in Hamilton, Canada, during May 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025.

The 19 papers included in these proceedings were carefully reviewed and selected from 58 submissions. They focus on foundational research in software science 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.

Buy New

View this item

£ 9.49 shipping from Germany to United Kingdom

Destination, rates & speeds

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

Seller Image

Parosh Aziz Abdulla
ISBN 10: 3031908961 ISBN 13: 9783031908965
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 28th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2025, which took place in Hamilton, Canada, during May 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025.The 19 papers included in these proceedings were carefully reviewed and selected from 58 submissions. They focus on foundational research in software science on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems. 424 pp. Englisch. Seller Inventory # 9783031908965

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

Delia Kesner
ISBN 10: 3031908961 ISBN 13: 9783031908965
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 28th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2025, which took place in Hamilton, Canada, during May 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025.The 19 papers included in these proceedings were carefully reviewed and selected from 58 submissions. They focus on foundational research in software science on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems. Seller Inventory # 9783031908965

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

Published by Springer Verlag GmbH, 2025
ISBN 10: 3031908961 ISBN 13: 9783031908965
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. Seller Inventory # 2292429753

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, 2025
ISBN 10: 3031908961 ISBN 13: 9783031908965
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 # 409270421

Contact seller

Buy New

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

Quantity: 4 available

Add to basket

Stock Image

Published by Springer, 2025
ISBN 10: 3031908961 ISBN 13: 9783031908965
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. Seller Inventory # 26403916618

Contact seller

Buy New

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

Quantity: 4 available

Add to basket

Seller Image

Delia Kesner
ISBN 10: 3031908961 ISBN 13: 9783031908965
New Taschenbuch
Print on Demand

Seller: buchversandmimpf2000, Emtmannsberg, BAYE, 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 - Print on Demand Titel. Neuware -This open access book constitutes the proceedings of the 28th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2025, which took place in Hamilton, Canada, during May 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025.The 19 papers included in these proceedings were carefully reviewed and selected from 58 submissions. They focus on foundational research in software science 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 436 pp. Englisch. Seller Inventory # 9783031908965

Contact seller

Buy New

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

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 2025
ISBN 10: 3031908961 ISBN 13: 9783031908965
New Softcover
Print on Demand

Seller: Biblios, Frankfurt am main, HESSE, Germany

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

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

Contact seller

Buy New

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

Quantity: 4 available

Add to basket

Stock Image

Abdulla, Parosh Aziz (Editor)/ Kesner, Delia (Editor)
Published by Springer-Nature New York Inc, 2025
ISBN 10: 3031908961 ISBN 13: 9783031908965
New Paperback

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. 436 pages. 9.26x6.11x9.25 inches. In Stock. Seller Inventory # x-3031908961

Contact seller

Buy New

£ 61.45
Convert currency
Shipping: £ 6.99
Within United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Parosh Aziz Abdulla
ISBN 10: 3031908961 ISBN 13: 9783031908965
New Paperback

Seller: Grand Eagle Retail, Fairfield, OH, U.S.A.

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

Paperback. Condition: new. Paperback. This open access book constitutes the proceedings of the 28th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2025, which took place in Hamilton, Canada, during May 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025.The 19 papers included in these proceedings were carefully reviewed and selected from 58 submissions. They focus on foundational research in software science on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783031908965

Contact seller

Buy New

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

Quantity: 1 available

Add to basket