Hoppa till sidans huvudinnehåll

Dusko Pavlovic – författare

Visar alla böcker från författaren Dusko Pavlovic.
5 produkter
Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic - Foundations of Security, Protocols, and Equational Reasoning, Häftad
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

Dusko Pavlovic - Programs as Diagrams, Inbunden

Programs as Diagrams

From Categorical Computability to Computable Categories

AvDusko Pavlovic

Inbunden, Engelska, 2023

1 269 kr

Skickas inom 10-15 vardagar

Dusko Pavlovic - Programs as Diagrams, Häftad

Programs as Diagrams

From Categorical Computability to Computable Categories

AvDusko Pavlovic

Häftad, Engelska, 2024

919 kr

Skickas inom 10-15 vardagar

Dusko Pavlovic, Peter-Michael Seidel - Introduction to Security Science, Inbunden

Introduction to Security Science

Basic Concepts and Mathematical Foundations

AvDusko Pavlovic,Peter-Michael Seidel

Inbunden, Engelska, 2026

919 kr

Skickas inom 10-15 vardagar

Michael Johnson, Dusko Pavlovic - Algebraic Methodology and Software Technology, Häftad

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