Languages
Nicola, Rocco.
Overview
Works: | 3 works in 1 publications in 1 languages |
---|
Titles
Software, services, and systems = essays dedicated to Martin Wirsing on the occasion of his retirement from the Chair of Programming and Software Engineering /
by:
Nicola, Rocco.; Hennicker, Rolf.; SpringerLink (Online service)
(Electronic resources)
Concurrency, Graphs and Models = Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
by:
Degano, Pierpaolo.; Meseguer, Jose.; Nicola, Rocco.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Rewriting systems (Computer science)
Mathematical Logic and Formal Languages.
Software Engineering.
Software engineering
Logics and Meanings of Programs.
Systems engineering
Computer simulation.
Multitasking (Computer science)
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Computer software- Verification.
Software engineering.
Abstract data types (Computer science)
Programming Languages, Compilers, Interpreters.
Computer Science.
Computer programming.
Symbolic and Algebraic Manipulation.