Dusko Pavlovic - Böcker

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

5 produkter

Kategorier

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, Engelska, 2019

719 kr

Skickas inom 10-15 vardagar

Programs as Diagrams

From Categorical Computability to Computable Categories

Av Dusko Pavlovic

Inbunden, Engelska, 2023

1 349 kr

Skickas inom 10-15 vardagar

Programs as Diagrams

From Categorical Computability to Computable Categories

Av Dusko Pavlovic

Häftad, Engelska, 2024

959 kr

Skickas inom 10-15 vardagar

Nyhet

Introduction to Security Science

Basic Concepts and Mathematical Foundations

Av Dusko 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

Av Michael Johnson, Dusko Pavlovic

Häftad, Engelska, 2011

719 kr

Skickas inom 10-15 vardagar