Dusko Pavlovic – författare
Visar alla böcker från författaren Dusko Pavlovic. Handla med fri frakt och snabb leverans.
9 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, 2019
569 kr
Lägg i varukorg
This Festschrift volume is published in honor of Catherine A. Meadows and contains essays presented at the Catherine Meadows Festschrift Symposium held in Fredericksburg, VA, USA, in May 2019.Catherine A. Meadows has been a pioneer in developing symbolic formal verification methods and tools. Her …
Foundations of Security, Protocols, and Equational Reasoning
Essays Dedicated to Catherine A. Meadows
Av Dusko Pavlovic, Jose Meseguer m. fl.
E-bok, 2019
755 kr
Lägg i varukorg
This Festschrift volume is published in honor of Catherine A. Meadows and contains essays presented at the Catherine Meadows Festschrift Symposium held in Fredericksburg, VA, USA, in May 2019. Catherine A. Meadows has been a pioneer in developing symbolic formal verification methods and tools. Her …
Programs as Diagrams
From Categorical Computability to Computable Categories
Inbunden, 2023
989 kr
Lägg i varukorg
It is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a diagram 1000 instructions.In this unique textbook/reference, programs are drawn as string diagrams in the language of categories, which display a …
Programs as Diagrams
From Categorical Computability to Computable Categories
E-bok, 2023
897 kr
Lägg i varukorg
It is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a diagram 1000 instructions. In this unique textbook/reference, programs are drawn as string diagrams in the language of categories, which display a …
Programs as Diagrams
From Categorical Computability to Computable Categories
Häftad, 2024
716 kr
Lägg i varukorg
It is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a diagram 1000 instructions.In this unique textbook/reference, programs are drawn as string diagrams in the language of categories, which display a …
Introduction to Security Science
Basic Concepts and Mathematical Foundations
Av Dusko Pavlovic, Peter-Michael Seidel
Inbunden, 2026
716 kr
Lägg i varukorg
Everyone needs security: Nations need national security, corporations need corporate security, individuals need personal security, cybersecurity, AI security. What is the common denominator of these security concepts? Security and science are the building blocks of the modern civilization. Science …
Introduction to Security Science
Basic Concepts and Mathematical Foundations
Av Peter-Michael Seidel, Dusko Pavlovic
E-bok, 2026
897 kr
Lägg i varukorg
Everyone needs security: Nations need national security, corporations need corporate security, individuals need personal security, cybersecurity, AI security. What is the common denominator of these security concepts? Security and science are the building blocks of the modern civilization. Science …
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, 2011
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, held in Lac-Beauport, QC, Canada, in June 2010.The 14 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers …
Algebraic Methodology and Software Technology
13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers
Av Dusko Pavlovic, Michael Johnson
E-bok, 2011
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, held in Lac-Beauport, QC, Canada, in June 2010. The 14 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers …
