Pastāsti draugiem par šo preci:
Formal Methods for Distributed System Development: Forte / Pstv 2000 Ifip Tc6 Wg6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (Forte Xiii) and Protocol Specification, Testing and Ve Tommaso Bolognesi Softcover Reprint of the Original 1st Ed. 2000 edition
Formal Methods for Distributed System Development: Forte / Pstv 2000 Ifip Tc6 Wg6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (Forte Xiii) and Protocol Specification, Testing and Ve
Tommaso Bolognesi
423 pages, 3 black & white illustrations, biography
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2013. gada 28. februāris |
| ISBN13 | 9781475752649 |
| Izdevēji | Springer-Verlag New York Inc. |
| Lapas | 423 |
| Izmēri | 155 × 235 × 22 mm · 594 g |
| Valoda | Angļu |
| Redaktors | Bolognesi, Tommaso |
| Redaktors | Latella, Diego |
Vairāk no Tommaso Bolognesi
Rādīt visuVairāk no tā paša izdevēja
Skatīt visus Tommaso Bolognesi ( piem., Paperback Book un Hardcover Book )