Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Logic-Based Program Synthesis and Transformation : 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings

Logic-Based Program Synthesis and Transformation : 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings

by Maribel Fernández Paperback 2021

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Maribel Fernández
  • ISBN 13: 9783030684457
  • ISBN 10: 3030684458
  • Publication Year: 2021
  • Language: English

Specifications

Index-103030684458
LanguageEnglish
Index-139783030684457
Period-
Class Track-
Publisher- (2021)
Pages-

✨ Readers also enjoyed...

View All →
Graph Transformation : 16th International Conference, ICGT 2023, Held As Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings

Graph Transformation : 16th Intern…

Maribel Fernández, Christopher M. Poskitt

Inquire
Models of Computation : An Introduction to Computability Theory

Models of Computation : An Introdu…

Maribel Fernández

Inquire
Programming Languages and Operational Semantics : A Concise Overview

Programming Languages and Operatio…

Maribel Fernández

Inquire