Home
:
Book details
Logic-Based Program Synthesis and Transformation: 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 79, 2020, Proceedings free ebook download
Category:
Programming
Views:
72
Likes:
102
Catalogue
Author(s):
Maribel FernГЎndez
Date:
2021-04-07
Format:
pdf
Language:
English
ISBN/ASIN:
3030684458
Pages:
329
OCR:
Quality:
ISBN13:
Uploader:
maveriks
Upload Date:
2/15/2021 6:07:16 AM
To download click on link in the Links Table below
Description:
Click to see full description
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.
Links Table
Title
Link
Password
Size (MB)
Thank to
Inform Admin
2965429
Book
https://nitroflare.com/view/03DCF4B06105...
8.99
maveriks
Tags:
Bologna
International
Italy
Logic-Based
LOPSTR
Proceedings
Program
September
Symposium
Synthesis
Title
Link
Password
Size
Reason
Dead link
New format
Those who downloaded this book also downloaded the following books:
Comments
New comment:
(C) FreeBookSpot 2007 - 2024
Home : Book details