Ölveczky, Peter Csaba.
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 / [electronic resource] : edited by Peter Csaba Ölveczky. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6381 0302-9743 ; . - Lecture Notes in Computer Science, 6381 .
9783642163104
10.1007/978-3-642-16310-4 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Software Engineering.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Models and Principles.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
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 / [electronic resource] : edited by Peter Csaba Ölveczky. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6381 0302-9743 ; . - Lecture Notes in Computer Science, 6381 .
9783642163104
10.1007/978-3-642-16310-4 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Software Engineering.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Models and Principles.
QA76.9.L63 QA76.5913 QA76.63
005.1015113