Hoppa till sidans huvudinnehåll

Dusko Pavlovic – författare

Visar alla böcker från författaren Dusko Pavlovic.
5 produkter
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

719 kr

Skickas inom 10-15 vardagar

Programs as Diagrams

From Categorical Computability to Computable Categories

AvDusko Pavlovic

Inbunden, Engelska, 2023

1 249 kr

Skickas inom 10-15 vardagar

Programs as Diagrams

From Categorical Computability to Computable Categories

AvDusko Pavlovic

Häftad, Engelska, 2024

909 kr

Skickas inom 10-15 vardagar

Introduction to Security Science

Basic Concepts and Mathematical Foundations

AvDusko Pavlovic,Peter-Michael Seidel

Inbunden, Engelska, 2026

909 kr

Skickas inom 10-15 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

719 kr

Skickas inom 10-15 vardagar