Kirjat Jayadev Misra
A Discipline of Multiprogramming: Programming Theory for Distributed Applications
-25% koodilla BOOKS
Toimittajalla varastossa
A Discipline of Multiprogramming: Programming Theory for Distributed Applications
-25% koodilla BOOKS
Toimittajalla varastossa
Effective Theories in Programming Practice
-25% koodilla BOOKS
Toimittajalla varastossa
Effective Theories in Programming Practice
-25% koodilla BOOKS
Toimittajalla varastossa
FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
Jayadev Misra, Tobias Nipkow, Emil Sekerinski
-25% koodilla BOOKS
Toimittajalla varastossa