Algorithms for the Satisfiability Problem - Jun Gu - Książki - Cambridge University Press - 9780521640411 - 1 czerwca 2020
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Algorithms for the Satisfiability Problem


Otrzymaj e-mail, gdy przedmiot będzie dostępny
Czy masz profil? Zaloguj się
Otrzymuj powiadomienia o nowych wydawnictwach Jun Gu
Dodaj do swojej listy życzeń iMusic

Jeszcze nie oceniono

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


250 pages

Media Książki     Hardcover Book   (Książka z twardym grzbietem i okładką)
Wydane 1 czerwca 2020
ISBN13 9780521640411
Wydawcy Cambridge University Press
Strony 250
Wymiary 150 × 220 × 20 mm   ·   587 g   (Waga (szacunkowa))

Więcej od Jun Gu

Pokaż wszystko

Więcej od tego samego wydawcy