Cărți de Bill Stoddart

Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers

Lecture Notes in Computer Science, nr. 4010

Editat de Steve Dunne et al.

27 iun 2006

Preț: 331^.08 lei 413^.85 lei

43-57 zile

-20%

Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings

Lecture Notes in Computer Science, nr. 1945

Editat de Wolfgang Grieskamp et al.

18 oct 2000

Preț: 355^.34 lei 444^.17 lei

43-57 zile

-20%