• Book cover of: Theory and Applications of Satisfiability Testing – SAT 2017. By: Serge Gaspers

Theory and Applications of Satisfiability Testing – SAT 2017

Serge Gaspers

€54,55
€54,55 €56,24 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 Serge Gaspers
Leidimo metai 2017 m.
Puslapių skč. 476 psl.
Viršelis Minkštas viršelis
ISBN 9783319662626
Leidimas 1st ed. 2017
Kategorijos Algebra

Theory and Applications of Satisfiability Testing – SAT 2017

Theory and Applications of Satisfiability Testing – SAT 2017 by Serge Gaspers, Toby Walsh.

Published by Springer, (2017), Paperback, 476 pages.

Topics: Calculus, Algebra, boolean, Computer algorithms.

Book cover of: Theory and Applications of Satisfiability Testing – SAT 2017. By: Serge Gaspers

Theory and Applications of Satisfiabi...

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