Cărți de Narciso Martí Oliet

Formal Methods: Foundations and Applications

Editat de Christiano Braga et al.

27 ian 2015

Preț: 260^.96 lei 326^.21 lei

6-8 săpt.

-20%

Rewriting Logic and Its Applications: 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers

Lecture Notes in Computer Science, nr. 14953

Editat de Kazuhiro Ogata et al.

4 sep 2024

Preț: 370^.47 lei 463^.09 lei

6-8 săpt.

-20%

Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

Lecture Notes in Computer Science, nr. 9200

Editat de Narciso Martí Oliet et al.

21 aug 2015

Preț: 336^.41 lei 420^.51 lei

6-8 săpt.

-20%

Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7841

Editat de Narciso Martí Oliet et al.

13 apr 2013

Preț: 319^.75 lei 399^.68 lei

6-8 săpt.

-20%

Rewriting Logic and Its Applications: 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12328

Editat de Santiago Escobar et al.

11 dec 2020

Preț: 316^.59 lei 395^.75 lei

6-8 săpt.

-20%