Bäst pris
1449,00 krKöp fr 1449 kr
Introduction to Bisimulation and Coinduction
Davide SangiorgiData & ITInduction is a pervasive tool in computer science and mathematics for defining objects and reasoning on them. Coinduction is the dual of induction and as such it brings in quite different tools. Today, it is widely used in computer science, but al...
Visa mer...1449,00 krTILL akademibokhandelnVisa priser från alla butiker...Övrig information
| ISBN | 9781107003637 |
| Språk | sv |
Priser
Beskrivning
Induction is a pervasive tool in computer science and mathematics for defining objects and reasoning on them. Coinduction is the dual of induction and as such it brings in quite different tools. Today, it is widely used in computer science, but al...