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ț: 319^.75 lei 399^.68 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ț: 339^.76 lei 424^.70 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ț: 262^.69 lei 328^.36 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ț: 322^.92 lei 403^.65 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ț: 597^.50 lei 746^.88 lei

6-8 săpt.

-20%