Cărți de María Alpuente

Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

Lecture Notes in Computer Science, nr. 6564

Editat de María Alpuente

2 mai 2011

Preț: 332^.06 lei 415^.08 lei

6-8 săpt.

-20%

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5825

Editat de María Alpuente et al.

26 oct 2009

Preț: 330^.42 lei 413^.03 lei

6-8 săpt.

-20%

Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5079

Editat de María Alpuente et al.

iul 2008

Preț: 337^.85 lei 422^.31 lei

6-8 săpt.

-20%