Filtre: Springer Berlin, Heidelberg

Cărți de Grigore Rosu

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Lecture Notes in Computer Science, nr. 6418

Editat de Howard Barringer et al.

19 oct 2010

Preț: 331^.62 lei 414^.53 lei

3-5 săpt.

-20%

Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5140

Editat de José Meseguer et al.

15 iul 2008

Preț: 328^.16 lei 410^.20 lei

6-8 săpt.

-20%

Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7273

Editat de Holger Giese et al.

31 mai 2012

Preț: 319^.42 lei 399^.28 lei

6-8 săpt.

-20%