TY - BOOK ID - 8508283 TI - Foundations of Software Science and Computational Structures : 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings AU - Ong, Luke. AU - FOSSACS 2010 PY - 2010 SN - 3642120318 9786613563804 3642120326 128038588X PB - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, DB - UniCat KW - System analysis KW - Computer Science KW - Mathematical Theory KW - Mathematics KW - Engineering & Applied Sciences KW - Physical Sciences & Mathematics KW - Computer software KW - Computer science. KW - Software engineering. KW - Programming languages (Electronic computers). KW - Computers. KW - Computer logic. KW - Mathematical logic. KW - Computer Science. KW - Mathematical Logic and Formal Languages. KW - Programming Languages, Compilers, Interpreters. KW - Software Engineering/Programming and Operating Systems. KW - Computation by Abstract Devices. KW - Logics and Meanings of Programs. KW - Software Engineering. KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Automatic computers KW - Automatic data processors KW - Computer hardware KW - Computing machines (Computers) KW - Electronic brains KW - Electronic calculating-machines KW - Electronic computers KW - Hardware, Computer KW - Computer systems KW - Cybernetics KW - Machine theory KW - Calculators KW - Cyberspace KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Electronic data processing KW - Languages, Artificial KW - Computer software engineering KW - Engineering KW - Informatics KW - Science KW - Logic design. KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Switching theory KW - Machine theory. KW - Compilers (Computer programs). KW - Formal Languages and Automata Theory. KW - Compilers and Interpreters. KW - Theory of Computation. KW - Computer Science Logic and Foundations of Programming. KW - Compiling programs (Computer programs) KW - Computer programs KW - Programming software KW - Systems software KW - Abstract automata KW - Abstract machines KW - Automata KW - Mathematical machine theory KW - Algorithms KW - Recursive functions KW - Robotics UR - https://www.unicat.be/uniCat?func=search&query=sysid:8508283 AB - ER -