The Calculus of Computation
Decision Procedures with Applications to Verification
af Zohar Manna, m.fl.
Bog, Hardback, Engelsk, 2007
Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories.
Priser fra 4 boghandlere
- BoghandlerPrisFragtLevering
- SAXO529,95 kr.Gratis fragtUkendtKøb for 529,95 kr.Køb
- Bogreolen754,95 kr.0,00 kr.2-4 ugerKøb for 754,95 kr.Køb
- Tales755,95 kr.34,95 kr.2-4 ugerKøb for 755,95 kr.Køb
- Pling BØGER755,95 kr.34,95 kr.2-4 ugerKøb for 755,95 kr.Køb
Bogdetaljer
- SprogEngelsk
- IndbindingHardback
- ISBN9783540741121
- Udgivet3/09/2007
- Udgivet afSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Længde366 sider
- ForfattereZohar Manna, Aaron R. Bradley
- GenreBusiness og læring, Computer og IT