Cărți de Carolyn Talcott

Rebeca for Actor Analysis in Action

Lecture Notes in Computer Science, nr. 15560

Editat de Edward A. Lee et al.

21 mar 2025

Preț: 510^.77 lei 638^.46 lei

38-44 zile

-20%

Coordination Models and Languages

Editat de Farhad Arbab et al.

27 mar 2002

Preț: 328^.49 lei 410^.62 lei

6-8 săpt.

-20%

Logic, Language, and Security

Lecture Notes in Computer Science, nr. 12300

Editat de Vivek Nigam et al.

29 oct 2020

Preț: 372^.72 lei 465^.89 lei

6-8 săpt.

-20%

Composing Model-Based Analysis Tools

Editat de Robert Heinrich et al.

4 dec 2022

Preț: 620^.16 lei 775^.20 lei

6-8 săpt.

-20%

Logic, Rewriting, and Concurrency

Lecture Notes in Computer Science, nr. 9200

Editat de Narciso Martí Oliet et al.

21 aug 2015

Preț: 339^.96 lei 424^.95 lei

6-8 săpt.

-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ț: 428^.15 lei 993^.71 lei

Indisponibil temporar

-57%