Pavlovic, Dusko.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
Algebraic methodology and software technology13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 : revised selected papers /
by:
(1998 :); Johnson, Michael.; Pavlovic, Dusko.; SpringerLink (Online service)
(Electronic resources)
Programs as diagramsfrom categorical computability to computable categories /
by:
Pavlovic, Dusko.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Theory of Computation.
Logics and Meanings of Programs.
Programming Language.
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Abstract data types (Computer science)
Programming Languages, Compilers, Interpreters.
Computational Complexity.
Computer science
Computer Science.
Computability and Recursion Theory.
Categories (Mathematics)