• 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 Izpārdošana

Mums ir noliktavā

📦 Šios prekės gali nebūti sandėlyje.
Prieš perkant parašykite mums, kad patikslintume: info@bookshop.lt 💜

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

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