Filtre: Jim Woodcock Springer Berlin, Heidelberg

Programming and Software Engineering

Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures

Lecture Notes in Computer Science, nr. 3167

Editat de Ana Cavalcanti et al.

27 sep 2006

Preț: 326^.24 lei 407^.80 lei

43-57 zile

-20%

Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5295

Editat de Natarajan Shankar et al.

22 sep 2008

Preț: 320^.24 lei 400^.30 lei

43-57 zile

-20%

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Lecture Notes in Computer Science, nr. 5902

Editat de Marcel Vinícius Medeiros Oliveira et al.

9 noi 2009

Preț: 324^.99 lei 406^.23 lei

43-57 zile

-20%