Algorithms for the Satisfiability Problem - Jun Gu - Boeken - Cambridge University Press - 9780521640411 - 1 juni 2020
Indien omslag en titel niet overeenkomen, is de titel correct

Algorithms for the Satisfiability Problem


Ontvang een e-mail zodra het artikel beschikbaar is
Heb je een profiel? Inloggen
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Ontvang meldingen over nieuwe releases van Jun Gu
Voeg toe aan uw iMusic-verlanglijst
of

Nog niet beoordeeld

Describes state-of-the-art methods and discusses tradeoffs and limitations in the rapidly growing field of satisfiability testing.


250 pages

Media Boeken     Hardcover Book   (Boek met harde rug en kaft)
Vrijgegeven 1 juni 2020
ISBN13 9780521640411
Uitgevers Cambridge University Press
Pagina's 250
Afmetingen 150 × 220 × 20 mm   ·   587 g   (Gewicht (geschat))

Meer door Jun Gu

Meer van dezelfde uitgever