Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

Andy King
    • US$69.99
    • US$69.99

출판사 설명

This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007, examines program termination, program transformation, constraint solving and analysis as well as software engineering.

장르
컴퓨터 및 인터넷
출시일
2008년
11월 26일
언어
EN
영어
길이
232
페이지
출판사
Springer Berlin Heidelberg
판매자
Springer Nature B.V.
크기
5.7
MB

비슷한 책 더 보기

Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2009년
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2011년
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2009년
Theoretical Aspects of Computing – ICTAC 2010 Theoretical Aspects of Computing – ICTAC 2010
Theoretical Aspects of Computing – ICTAC 2010
2010년
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2011년
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2017년

Andy King의 도서 더 보기

Baking By Hand Baking By Hand
Baking By Hand
2013년
Programming the Internet of Things Programming the Internet of Things
Programming the Internet of Things
2021년
My Life or Not My Life or Not
My Life or Not
2024년
Anxiety In Relationship Anxiety In Relationship
Anxiety In Relationship
2023년
England and Scotland, 1286-1603 England and Scotland, 1286-1603
England and Scotland, 1286-1603
2015년
Functional and Logic Programming Functional and Logic Programming
Functional and Logic Programming
2016년