Cărți de Diego Latella

Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Lecture Notes in Computer Science, nr. 7321

Editat de John Derrick et al.

6 iun 2012

Preț: 324^.19 lei 405^.23 lei

6-8 săpt.

-20%

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 Verification (PSTV XX) October 10–13, 2000, Pisa, Italy

IFIP Advances in Information and Communication Technology, nr. 55

Editat de Tommaso Bolognesi et al.

28 feb 2013

Preț: 1228^.27 lei 1535^.34 lei

6-8 săpt.

-20%