Cărți de Lars-Henrik Eriksson

FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings

Lecture Notes in Computer Science, nr. 2391

Editat de Lars-Henrik Eriksson et al.

10 iul 2002

Preț: 683^.75 lei 854^.69 lei

6-8 săpt.

-20%

Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings

Lecture Notes in Computer Science, nr. 596

Editat de Lars-Henrik Eriksson et al.

20 mai 1992

Preț: 336^.67 lei 420^.84 lei

6-8 săpt.

-20%