Algorithms for the Satisfiability Problem - Jun Gu - Bøger - Cambridge University Press - 9780521640411 - 1. juni 2020
Ved uoverensstemmelse mellem cover og titel gælder titel

Jun Gu
Algorithms for the Satisfiability Problem

Få en e-mail når varen bliver tilgængelig
Har du en konto? Log ind
Modtag notifikation om nye Jun Gu udgivelser

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

Ikke bedømt endnu

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

250 pages

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 1. juni 2020
ISBN13 9780521640411
Forlag Cambridge University Press
Antal sider 250
Mål 150 × 220 × 20 mm   ·   587 g   (Estimeret vægt)

Mere med samme udgiver

Se alt med Jun Gu ( f.eks. Hardcover bog og Paperback Bog )