Languages
Olveczky, Peter Csaba.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Rewriting logic and its applications = 8th international workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010 : revised selected papers /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); Olveczky, Peter Csaba.; SpringerLink (Online service)
(Electronic resources)
Formal aspects of component software = 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers /
by:
SpringerLink (Online service); Olveczky, Peter Csaba.; Congress on Progress and Controversies in Oncological Urology (2000:); Arbab, Farhad.
(Electronic resources)
Subjects
Management of Computing and Information Systems.
Software Engineering.
Formal methods (Computer science)
Computer logic
Programming Techniques.
Computer Science.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Component software
Models and Principles.
Software engineering