Fortell venner om denne varen:
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings - Lecture Notes in Computer Science 2006 edition
Jayadev Misra
Pris
NOK 1.239
Bestillingsvarer
Forventes levert 15. - 24. jul
Legg til iMusic ønskeliste
Eller
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings - Lecture Notes in Computer Science 2006 edition
Jayadev Misra
Presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August 2006.
620 pages, biography
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 10. august 2006 |
| ISBN13 | 9783540372158 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 620 |
| Mål | 155 × 235 × 32 mm · 879 g |
| Språk | Fransk |
| Redaktør | Misra, Jayadev |
| Redaktør | Nipkow, Tobias |
| Redaktør | Sekerinski, Emil |
![Cover for Jayadev Misra · A Discipline of Multiprogramming: Programming Theory for Distributed Applications - Monographs in Computer Science (Pocketbok) [Softcover Reprint of the Original 1st Ed. 2001 edition] (2012)](https://imusic.b-cdn.net/images/item/original/279/9781461264279.jpg?jayadev-misra-2012-a-discipline-of-multiprogramming-programming-theory-for-distributed-applications-monographs-in-computer-science-pocketbok&class=scaled&v=1583974218)
