Pastāsti draugiem par šo preci:
Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings - Lecture Notes in Computer Science Gilles Barthe 2008 edition
Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings - Lecture Notes in Computer Science
Gilles Barthe
This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. formal methods for service-oriented computing; integration of quality of service requirements into formal models;
259 pages, black & white illustrations
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2008. gada 29. maijs |
| ISBN13 | 9783540688624 |
| Izdevēji | Springer-Verlag Berlin and Heidelberg Gm |
| Žanrs | Aspects (Academic) > Science / Technology Aspects |
| Lapas | 259 |
| Izmēri | 155 × 235 × 14 mm · 408 g |
| Valoda | Franču |
| Redaktors | Barthe, Gilles |
Vairāk no Gilles Barthe
Rādīt visuVairāk no tā paša izdevēja
Skatīt visus Gilles Barthe ( piem., Paperback Book )