Cărți de Carolyn Talcott

Composing Model-Based Analysis Tools

Editat de Robert Heinrich et al.

4 dec 2022

Preț: 628^.20 lei 785^.25 lei

43-57 zile

-20%

Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday

Lecture Notes in Computer Science, nr. 12300

Editat de Vivek Nigam et al.

29 oct 2020

Preț: 377^.58 lei 471^.98 lei

43-57 zile

-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ț: 342^.70 lei 428^.37 lei

43-57 zile

-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ț: 602^.68 lei 753^.34 lei

43-57 zile

-20%

Coordination Models and Languages: 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings

Lecture Notes in Computer Science, nr. 2315

Editat de Farhad Arbab et al.

27 mar 2002

Preț: 345^.59 lei 431^.98 lei

43-57 zile

-20%

Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman: Lecture Notes in Logic 15

Editat de Wilfried Sieg et al.

16 aug 2002

Preț: 415^.29 lei 805^.16 lei

Indisponibil temporar

-48%