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

Theory and Applications of Satisfiability Testing -- SAT 2015

Marijn Heule

292,00 zł
292,00 zł 301,00 zł Sprzedaż

Mamy to na stanie

📦 Atsiprašome, prekės neturime sandėlyje, bet greitai atsiras!
Užsisakykite el. pranešimą ir informuosime jus iškart, kai prekę turėsime. Arba rezervuokite užsakydami dabar.
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...

292,00 zł
292,00 zł 301,00 zł