0
Your cart

Your cart is empty

Books > Computing & IT > Computer communications & networking

Buy Now

Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers (Paperback, 1st ed. 2020) Loot Price: R1,521
Discovery Miles 15 210
Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10,...

Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers (Paperback, 1st ed. 2020)

Maurizio Gabbrielli

Series: Theoretical Computer Science and General Issues, 12042

 (sign in to rate)
Loot Price R1,521 Discovery Miles 15 210 | Repayment Terms: R143 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2019, held in Porto, Portugal, in October 2019. The 15 revised full papers were carefully reviewed and selected from 32 submissions. In addition to the 15 papers, this volume includes 2 invited papers. The symposium cover all aspects of logic-based program development, stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. This year LOPSTR extends its traditional topics to include also logic-based program development based on integration of sub-symbolic and symbolic models, on machine learning techniques and on differential semantics. The papers are grouped into the following topics: static analysis, program synthesis, constraints and unification, debugging and verification, and program transformation.

General

Imprint: Springer Nature Switzerland AG
Country of origin: Switzerland
Series: Theoretical Computer Science and General Issues, 12042
Release date: April 2020
First published: 2020
Editors: Maurizio Gabbrielli
Dimensions: 235 x 155mm (L x W)
Format: Paperback
Pages: 261
Edition: 1st ed. 2020
ISBN-13: 978-3-03-045259-9
Categories: Books > Computing & IT > General theory of computing > General
Books > Computing & IT > Computer programming > General
Books > Computing & IT > Computer communications & networking > General
Books > Computing & IT > Applications of computing > Computer modelling & simulation
Books > Computing & IT > Applications of computing > Artificial intelligence > General
Promotions
LSN: 3-03-045259-X
Barcode: 9783030452599

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

CISA - Certified Information Systems…
Cannon Paperback R1,739 R1,389 Discovery Miles 13 890
CompTIA Security+ Guide To Network…
Mark Ciampa Paperback R1,420 R1,316 Discovery Miles 13 160
Managing Business Projects - The…
Frank Einhorn Paperback R515 Discovery Miles 5 150
Guide to Networking Essentials
Greg Tomsho Paperback R1,452 R1,344 Discovery Miles 13 440
Network+ Guide to Networks
Jill West, Jean Andrews, … Paperback R1,420 R1,316 Discovery Miles 13 160
Safety of Web Applications - Risks…
Eric Quinton Hardcover R2,473 Discovery Miles 24 730
Distributed Systems - Concurrency and…
Matthieu Perrin Hardcover R1,932 Discovery Miles 19 320
RIoT Control - Understanding and…
Tyson Macaulay Paperback R1,461 R1,230 Discovery Miles 12 300
Security Careers - Skills, Compensation…
Stephen W. Walker, James E. Foushee Paperback R1,916 Discovery Miles 19 160
The Host in the Machine - Examining the…
Angela Thomas-Jones Paperback R1,397 Discovery Miles 13 970
Practical Industrial Data Communications…
Deon Reynders, Steve Mackay, … Paperback R1,539 Discovery Miles 15 390
Digital Signal Processing and…
Dag Stranneby Paperback R1,454 Discovery Miles 14 540

See more

Partners