• Book cover of: Theory and Applications of Satisfiability Testing -- SAT 2015. By: Marijn Heule

Theory and Applications of Satisfiability Testing -- SAT 2015

Marijn Heule

€66,68
€66,68 €68,74 Em promoção

Temos em stock

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

Autorius Marijn Heule
Leidimo metai 2015 m.
Puslapių skč. 436 psl.
Viršelis Minkštas viršelis
ISBN 9783319243177
Leidimas 1st ed. 2015

Theory and Applications of Satisfiability Testing -- SAT 2015

Theory and Applications of Satisfiability Testing -- SAT 2015 by Marijn Heule, Sean Weaver.

Published by Springer International Publishing AG, (2015), Paperback, 436 pages.

Topics: Computer algorithms, Computer software, verification.

Book cover of: Theory and Applications of Satisfiability Testing -- SAT 2015. By: Marijn Heule

Theory and Applications of Satisfiabi...

€66,68
€66,68 €68,74