The Calculus of Computation: Decision Procedures with Applications to Verification

Priser från
590,03

Utvalda

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

Amazon The Calculus of Computation: Decision Procedures with Applications to Verification

Jämför webbutiker (2)

Shop
Pris
590,03 kr
590,03 kr
Beskrivning (1)

The Calculus of Computation: Decision Procedures with Applications to Verification


Produktspecifikationer

Märke Springer
EAN
  • 9783642093470

Utvalt Val
590,03 kr
Til butik