Dusko Pavlovic – författare
Visar alla böcker från författaren Dusko Pavlovic.
5 produkter
Foundations of Security, Protocols, and Equational Reasoning
Essays Dedicated to Catherine A. Meadows
Av Joshua D. Guttman, Carl E. Landwehr m. fl.
Häftad, 2019
739 kr
Lägg i varukorg
Programs as Diagrams
From Categorical Computability to Computable Categories
Inbunden, 2023
1289 kr
Lägg i varukorg
Programs as Diagrams
From Categorical Computability to Computable Categories
Häftad, 2024
939 kr
Lägg i varukorg
Introduction to Security Science
Basic Concepts and Mathematical Foundations
Av Dusko Pavlovic, Peter-Michael Seidel
Inbunden, 2026
929 kr
Lägg i varukorg
Algebraic Methodology and Software Technology
13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers
Av Michael Johnson, Dusko Pavlovic
Häftad, 2011
739 kr
Lägg i varukorg