Cărți de Narciso Martí Oliet

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ț: 329^.11 lei 411^.39 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ț: 349^.72 lei 437^.16 lei

6-8 săpt.

-20%

Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8941

Editat de Christiano Braga et al.

27 ian 2015

Preț: 270^.36 lei 337^.95 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ț: 332^.39 lei 415^.49 lei

6-8 săpt.

-20%

All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic

Lecture Notes in Computer Science, nr. 4350

Autor Manuel Clavel et al.

20 iul 2007

Preț: 615^.11 lei 768^.88 lei

6-8 săpt.

-20%