Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Dusko Pavlovic | lit.salon

Author

Dusko Pavlovic

3 works

2011–2023 across 2 dated works

No biography is available yet.

Start with

Algebraic Methodology And Software Technology 13th International Conference Amast 2010 Lacbeauport Qc Canada June 2325 2010 Revised Selected Papers2011
Programs As Diagrams: From Categorical Computability to Computable Categories2023

Books

3 works

Featured (2)Featured (2)All (3)All (3)

Search booksSort books

Algebraic Methodology And Software Technology 13th International Conference Amast 2010 Lacbeauport Qc Canada June 2325 2010 Revised Selected Papers2011
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Programs As Diagrams: From Categorical Computability to Computable Categories2023
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Foundations of Security, Protocols, and Equational Reasoning : Essays Dedicated to Catherine A. Meadows2019
With Joshua Guttman, Carl E. Landwehr, José Meseguer
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Dusko Pavlovic.

The conversation is still open.

There is no public salon activity to show for Dusko Pavlovic yet.