Du sparer 32% fra forlagets pris Du sparer 38% fra forlagets pris
Decision Procedures : An Algorithmic Point of View

Decision Procedures : An Algorithmic Point of View

af

  • Forlagets pris kr. 789,95
  • Leveringstid 5-8 hverdage
  • Forventet levering 04-05-2018
Køb til medlemspris og få altid fri fragt. Prøv 14 dage gratis (herefter 79,-/md.). Læs mere om Saxo Premium her.
Bog, hardback (kr. 534,95)
  1. Beskrivelse

    Udgivelsesdato:
    01-01-2017
    Leveringstid:
    5-8 hverdage
    Rating:
    (0)
  2. Yderligere info
    Udgivelsesdato:
    01-01-2017
    Sprog:
    Engelsk
    ISBN13:
    9783662504963
    Sidetal:
    380
    Vægt:
    708
    Højde:
    22
    Bredde:
    156
    Længde:
    234
    Forlag:
    Springer
    Mærkat:
    Bog, hardback
    Format:
    Hardback
  3. Anmeldelser
    Log ind for at skrive en anmeldelse.

Andre bøger af

Theory and Applications of Satisfiability Testing - SAT 2010
Decision Procedures
Decision Procedures : An Algorithmic Point of View
Efficient Decision Procedures for Validation