Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design

Buy Now

Logic-Based Program Synthesis and Transformation - 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers (Paperback, 1st ed. 2019) Loot Price: R1,408
Discovery Miles 14 080
Repayment Terms: R132 pm x 12*
Add to cart
Logic-Based Program Synthesis and Transformation - 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany,...

Logic-Based Program Synthesis and Transformation - 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers (Paperback, 1st ed. 2019)

Fred Mesnard, Peter J Stuckey

Series: Theoretical Computer Science and General Issues, 11408

 (sign in to rate)
Loot Price R1,408 Discovery Miles 14 080 | Repayment Terms: R132 pm x 12*

Bookmark and Share

Expected to ship within 18 - 22 working days

This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Main, Germany, in September 2018.The 11 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 11 papers, this volume includes 3 abstracts of invited talks and 2 abstracts of invited tutorials. The papers are grouped into the following topics: analysis of term rewriting; logic-based distributed/concurrent programming; analysis of logic programming; and program analysis.

General

Imprint: Springer Nature Switzerland AG
Country of origin: Switzerland
Series: Theoretical Computer Science and General Issues, 11408
Release date: February 2019
First published: 2019
Editors: Fred Mesnard • Peter J Stuckey
Dimensions: 235 x 155mm (L x W)
Format: Paperback
Pages: 203
Edition: 1st ed. 2019
ISBN-13: 978-3-03-013837-0
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Computing & IT > Computer programming > General
Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > General
Books > Computing & IT > Applications of computing > Artificial intelligence > General
Promotions
LSN: 3-03-013837-2
Barcode: 9783030138370

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..

Creativity in Computing and DataFlow SuperComputing, Volume 104 (Hardcover): Suyel Namasudra, Veljko Milutinovic
Creativity in Computing and DataFlow…
Suyel Namasudra, Veljko Milutinovic Hardcover R4,204 Discovery Miles 42 040
The System Designer's Guide to VHDL-AMS, Volume TBD - Analog, Mixed-Signal, and Mixed-Technology Modeling (Paperback):...
The System Designer's Guide to VHDL-AMS…
Peter J Ashenden, Gregory D. Peterson, … Paperback R2,281 Discovery Miles 22 810
Clean Architecture - A Craftsman's Guide to Software Structure and Design (Paperback): Robert Martin
Clean Architecture - A Craftsman's Guide…
Robert Martin Paperback  (1)
 R860 R741 Discovery Miles 7 410
Learn Quantum Computing with Python and IBM Quantum - - Write your own practical quantum programs with Python (Paperback, 2nd...
Learn Quantum Computing with Python and…
Robert Loredo Paperback R1,022 Discovery Miles 10 220
Systems Engineering Neural Networks (Hardcover): A Migliaccio
Systems Engineering Neural Networks
A Migliaccio Hardcover R2,817 Discovery Miles 28 170
Thinking Machines - Machine Learning and Its Hardware Implementation (Paperback): Shigeyuki Takano
Thinking Machines - Machine Learning and…
Shigeyuki Takano Paperback R2,011 Discovery Miles 20 110
Advances in Delay-Tolerant Networks (DTNs) - Architecture and Enhanced Performance (Paperback, 2nd edition): Joel J. P. C....
Advances in Delay-Tolerant Networks…
Joel J. P. C. Rodrigues Paperback R4,669 Discovery Miles 46 690
Grammatical and Syntactical Approaches in Architecture - Emerging Research and Opportunities (Hardcover): Juhyun Lee, Michael...
Grammatical and Syntactical Approaches…
Juhyun Lee, Michael J. Ostwald Hardcover R5,315 Discovery Miles 53 150
Kreislauf des Lebens (Hardcover): Jacob Moleschott
Kreislauf des Lebens
Jacob Moleschott Hardcover R1,199 Discovery Miles 11 990
CSS and HTML for beginners - A Beginners HTML and CSS Guide to Developing a Strong Coding Foundation, Building Responsive...
CSS and HTML for beginners - A Beginners…
Ethan Hall Hardcover R1,027 R881 Discovery Miles 8 810
Switched-Mode Power Supply Simulation with SPICE - The Faraday Press Edition (Hardcover): Steven M. Sandler
Switched-Mode Power Supply Simulation…
Steven M. Sandler Hardcover R1,404 Discovery Miles 14 040
Edsger Wybe Dijkstra - His Life, Work, and Legacy (Hardcover): Krzysztof R. Apt, Tony Hoare
Edsger Wybe Dijkstra - His Life, Work…
Krzysztof R. Apt, Tony Hoare Hardcover R2,920 Discovery Miles 29 200

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners