• Book cover of: Logic-Based Program Synthesis and Transformation. By: Manuel V Hermenegildo

Logic-Based Program Synthesis and Transformation

Manuel V Hermenegildo

€54,55
€54,55 €56,24 Sale
Tax included. Shipping calculated at checkout.

In stock
Leidimo metai 2017 m.
Puslapių skč. 361 psl.
Viršelis Minkštas viršelis
ISBN 9783319631387
Leidimas 1st ed. 2017
Kategorijos Software Engineering

Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation by Manuel V Hermenegildo, Pedro Lopez-Garcia.

Published by Springer, (2017), Paperback, 361 pages.

Topics: Computer science, Computer programming, Software engineering, Programming languages (electronic computers).

Book cover of: Logic-Based Program Synthesis and Transformation. By: Manuel V Hermenegildo

Logic-Based Program Synthesis and Tra...

€54,55
€54,55 €56,24