Items related to Logic-Based Program Synthesis and Transformation: 30th...

Logic-Based Program Synthesis and Transformation: 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings (Theoretical Computer Science and General Issues) - Softcover

 
9783030684457: Logic-Based Program Synthesis and Transformation: 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings (Theoretical Computer Science and General Issues)

Synopsis

This book constitutes the refereed proceedings of the 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during September 7-9, 2020.

The 15 papers presented in this volume were carefully reviewed and selected from a total of 31 submissions. The book also contains two invited talks in full paper length. The contributions were organized in topical sections named: rewriting; unification; types; verification; model checking and probabilistic programming; program analysis and testing; and logics.

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

  • PublisherSpringer
  • Publication date2021
  • ISBN 10 3030684458
  • ISBN 13 9783030684457
  • BindingPaperback
  • LanguageEnglish
  • Edition number1
  • Number of pages356
  • EditorFernández Maribel

Buy Used

Condition: As New
Unread book in perfect condition...
View this item

US$ 2.64 shipping within U.S.A.

Destination, rates & speeds

Search results for Logic-Based Program Synthesis and Transformation: 30th...

Seller Image

Fernandez, Maribel (EDT)
Published by Springer, 2021
ISBN 10: 3030684458 ISBN 13: 9783030684457
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 # 43441796-n

Contact seller

Buy New

US$ 91.91
Convert currency
Shipping: US$ 2.64
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2021
ISBN 10: 3030684458 ISBN 13: 9783030684457
New Softcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

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

Condition: New. Seller Inventory # ABLIING23Mar3113020026616

Contact seller

Buy New

US$ 90.57
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Fernandez, Maribel (EDT)
Published by Springer, 2021
ISBN 10: 3030684458 ISBN 13: 9783030684457
Used Softcover

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

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

Condition: As New. Unread book in perfect condition. Seller Inventory # 43441796

Contact seller

Buy Used

US$ 103.20
Convert currency
Shipping: US$ 2.64
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2021
ISBN 10: 3030684458 ISBN 13: 9783030684457
New Softcover

Seller: California Books, Miami, FL, U.S.A.

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

Condition: New. Seller Inventory # I-9783030684457

Contact seller

Buy New

US$ 112.00
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Fernandez, Maribel
Published by Springer 2021-02, 2021
ISBN 10: 3030684458 ISBN 13: 9783030684457
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-9783030684457

Contact seller

Buy New

US$ 92.75
Convert currency
Shipping: US$ 20.95
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 10 available

Add to basket

Stock Image

Published by Springer, 2021
ISBN 10: 3030684458 ISBN 13: 9783030684457
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 # ria9783030684457_new

Contact seller

Buy New

US$ 99.79
Convert currency
Shipping: US$ 16.21
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Fernandez, Maribel (EDT)
Published by Springer, 2021
ISBN 10: 3030684458 ISBN 13: 9783030684457
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 # 43441796-n

Contact seller

Buy New

US$ 96.20
Convert currency
Shipping: US$ 20.29
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Maribel Fernández
ISBN 10: 3030684458 ISBN 13: 9783030684457
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 book constitutes the refereed proceedings of the 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during September 7-9, 2020. The 15 papers presented in this volume were carefully reviewed and selected from a total of 31 submissions. The book also contains two invited talks in full paper length. The contributions were organized in topical sections named: rewriting; unification; types; verification; model checking and probabilistic programming; program analysis and testing; and logics. 356 pp. Englisch. Seller Inventory # 9783030684457

Contact seller

Buy New

US$ 94.22
Convert currency
Shipping: US$ 26.22
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

Published by Springer, 2021
ISBN 10: 3030684458 ISBN 13: 9783030684457
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. 2021 edition NO-PA16APR2015-KAP. Seller Inventory # 26388046642

Contact seller

Buy New

US$ 120.84
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: 4 available

Add to basket

Seller Image

Fernandez, Maribel (EDT)
Published by Springer, 2021
ISBN 10: 3030684458 ISBN 13: 9783030684457
Used Softcover

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

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

Condition: As New. Unread book in perfect condition. Seller Inventory # 43441796

Contact seller

Buy Used

US$ 108.55
Convert currency
Shipping: US$ 20.29
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

There are 6 more copies of this book

View all search results for this book