Dusko Pavlovic – författare

Visar alla böcker från författaren .

5 produkter

Kategorier

5 produkter

Del 11565
Del 11565 - Lecture Notes in Computer Science
Foundations of Security, Protocols, and Equational Reasoning
Essays Dedicated to Catherine A. Meadows
AvJoshua D. Guttman,Carl E. Landwehrm. fl.
Häftad, Engelska, 2019
729 kr
Skickas inom 10-15 vardagar
Programs as Diagrams
From Categorical Computability to Computable Categories
AvDusko Pavlovic
Inbunden, Engelska, 2023
1 269 kr
Skickas inom 10-15 vardagar
Programs as Diagrams
From Categorical Computability to Computable Categories
AvDusko Pavlovic
Häftad, Engelska, 2024
919 kr
Skickas inom 10-15 vardagar
Introduction to Security Science
Basic Concepts and Mathematical Foundations
AvDusko Pavlovic,Peter-Michael Seidel
Inbunden, Engelska, 2026
919 kr
Skickas inom 5-8 vardagar
Algebraic Methodology and Software Technology
13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers
AvMichael Johnson,Dusko Pavlovic
Häftad, Engelska, 2011
729 kr
Skickas inom 10-15 vardagar