| Books 1 - 4 of 4 | Previous | Next | 
|  | | FM 2006, Formal Methods: 14th International Symposium on Formal Methodshamilton, Canada, August 21-27, 2006 Proceedings (Lecture Notes in Computer Science)
by Jayadev Misra (Editor), Tobias Nipkow (Editor), Emil Sekerinski (Editor)
Paperback, 620 Pages, Published 2006 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Parallel Programme Design: A Foundation
by K.Mani Chandy, Jayadev Misra
Hardcover, 544 Pages, Published 1988 by Addison Wesley
Compare Prices | Add to Wish List | Set Price Alert |
|  | | A Discipline of Multiprogramming: Programming Theory for Distributed Applications (Monographs in Computer Science)
by Jayadev Misra
Hardcover, 420 Pages, Published 2001 by Springer-Verlag New York Inc.
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Understanding a Byzantine algorithm (Technical report. University of Texas at Austin. Dept. of Computer Sciences)
by Jayadev Misra
Unknown Binding, 5 Pages, Published 1985 by University of Texas at Austin, Dept. of Computer Sciences
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 4 of 4 | Previous | Next |
|