語系
Olveczky, Peter Csaba.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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)
(書目-電子資源)
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.
(書目-電子資源)
主題
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