Blass, Andreas.
Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday / [electronic resource] : edited by Andreas Blass, Nachum Dershowitz, Wolfgang Reisig. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6300 0302-9743 ; . - Lecture Notes in Computer Science, 6300 .
9783642150258
10.1007/978-3-642-15025-8 doi
Computer science.
Computer Communication Networks.
Software engineering.
Computer software.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Software Engineering.
Mathematical Logic and Formal Languages.
Algorithm Analysis and Problem Complexity.
Computer Communication Networks.
Programming Languages, Compilers, Interpreters.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday / [electronic resource] : edited by Andreas Blass, Nachum Dershowitz, Wolfgang Reisig. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6300 0302-9743 ; . - Lecture Notes in Computer Science, 6300 .
9783642150258
10.1007/978-3-642-15025-8 doi
Computer science.
Computer Communication Networks.
Software engineering.
Computer software.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Software Engineering.
Mathematical Logic and Formal Languages.
Algorithm Analysis and Problem Complexity.
Computer Communication Networks.
Programming Languages, Compilers, Interpreters.
QA76.9.L63 QA76.5913 QA76.63
005.1015113