Languages
Rosu, Grigore.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
Algebraic Methodology and Software Technology = 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Meseguer, Jose.; Rosu, Grigore.
(Electronic resources)
Formal techniques for distributed systems = Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012 : proceedings /
by:
SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:); Rosu, Grigore.; Giese, Holger.
(Electronic resources)
Subjects
Software Engineering.
Artificial Intelligence (incl. Robotics)
Formal methods (Computer science)
Symbolic and Algebraic Manipulation.
Computer Communication Networks.
Abstract data types (Computer science)
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algebraic logic
Electronic data processing- Distributed processing
Software engineering
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.