Cărți de Dusko Pavlovic

Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers

Lecture Notes in Computer Science, nr. 6486

Editat de Michael Johnson et al.

14 ian 2011

Preț: 318^.45 lei 398^.07 lei

3-5 săpt.

-20%

Programs as Diagrams: From Categorical Computability to Computable Categories

Theory and Applications of Computability

Autor Dusko Pavlovic

20 sep 2023

Preț: 571^.22 lei 714^.03 lei

6-8 săpt.

-20%

Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows

Lecture Notes in Computer Science, nr. 11565

Editat de Joshua D. Guttman et al.

28 apr 2019

Preț: 317^.82 lei 397^.28 lei

6-8 săpt.

-20%