TY  - BOOK
AU  - Rigo,Michel
TI  - Formal languages, automata and numeration systems 1: applications to recognizability and decidability 
T2  - Networks and Telecommunications Series
AV  - QA76.6 .R546 2014
U1  - 001.642 23
PY  - 2014///
CY  - London, England, Hoboken, New Jersey
PB  - ISTE, Wiley
KW  - Computer programming
KW  - Formal languages
KW  - Machine theory
KW  - Electronic books
N1  - Includes bibliographical references and index
UR  - https://ebookcentral.proquest.com/lib/bacm-ebooks/detail.action?docID=1784146
ER  -