004.0151
Bollig, Benedikt.
Formal Models of Communicating Systems : Languages, Automata, and Monadic Second-Order Logic / [electronic resource] : / by Benedikt Bollig. .- IX, 181 p.. online resource.
QA75.5-76.95
ISBN: 9783540329237
10.1007/3-540-32923-4 doi
Subject Headings:
Computer science.;
Software engineering.;
Computers.;
Algorithms.;
Mathematical logic.;
Computer Science.;
Theory of Computation.;
Computation by Abstract Devices.;
Software Engineering.;
Algorithm Analysis and Problem Complexity.;
Mathematical Logic and Formal Languages.;
Information Systems and Communication Service.;
Copy Details:
Acc. No.: EBK435, Full Call No.: , Item type: E books , Location: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Bollig, Benedikt.
Formal Models of Communicating Systems : Languages, Automata, and Monadic Second-Order Logic / [electronic resource] : / by Benedikt Bollig. .- IX, 181 p.. online resource.
QA75.5-76.95
ISBN: 9783540329237
10.1007/3-540-32923-4 doi
Subject Headings:
Computer science.;
Software engineering.;
Computers.;
Algorithms.;
Mathematical logic.;
Computer Science.;
Theory of Computation.;
Computation by Abstract Devices.;
Software Engineering.;
Algorithm Analysis and Problem Complexity.;
Mathematical Logic and Formal Languages.;
Information Systems and Communication Service.;
Copy Details:
Acc. No.: EBK435, Full Call No.: , Item type: E books , Location: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------