• Book cover of: Theory and Applications of Satisfiability Testing – SAT 2020. By: Luca Pulina

Theory and Applications of Satisfiability Testing – SAT 2020

Luca Pulina

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

In stock
Autorius Luca Pulina
Leidimo metai 2020 m.
Puslapių skč. 538 psl.
Viršelis Minkštas viršelis
ISBN 9783030518240
Leidimas 1st ed. 2020

Theory and Applications of Satisfiability Testing – SAT 2020

Theory and Applications of Satisfiability Testing – SAT 2020 by Luca Pulina, Martina Seidl.

Published by Springer, (2020), Paperback, 538 pages.

Book cover of: Theory and Applications of Satisfiability Testing – SAT 2020. By: Luca Pulina

Theory and Applications of Satisfiabi...

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