Cărți de Laurent Fribourg

Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8053

Editat de Víctor Braberman et al.

8 aug 2013

Preț: 304^.44 lei 380^.54 lei

43-57 zile

-20%

Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings

Lecture Notes in Computer Science, nr. 2142

Editat de Laurent Fribourg

29 aug 2001

Preț: 682^.73 lei 853^.42 lei

43-57 zile

-20%

Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. Proceedings

Lecture Notes in Computer Science, nr. 883

Editat de Laurent Fribourg et al.

30 noi 1994

Preț: 340^.82 lei 426^.03 lei

43-57 zile

-20%