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ț: 324^.24 lei 405^.30 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ț: 581^.66 lei 727^.07 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ț: 323^.59 lei 404^.49 lei

6-8 săpt.

-20%