Skip to product information

Theory and Applications of Satisfiability Testing – SAT 2020

Luca Pulina

Regular price €54,55
Sale price €54,55 Regular price €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...

Regular price €54,55
Sale price €54,55 Regular price €56,24