| Tag |
First Indicator |
Second Indicator |
Subfields |
| LEADER |
00000cam a2200000Ma 4500 |
| 001 |
in00003545211 |
| 006 |
m o d |
| 007 |
cr nn||||||||| |
| 008 |
121227s2002 enk o 000 0 eng d |
| 005 |
20260422200149.6 |
| 020 |
|
|
|a 9781447101437 (electronic bk.)
|
| 020 |
|
|
|a 144710143X (electronic bk.)
|
| 035 |
|
|
|a (OCoLC)840276927
|
| 040 |
|
|
|a I9W
|b eng
|e pn
|c I9W
|d OCLCQ
|d UV0
|d OCLCO
|d GW5XE
|d OCLCF
|d UtOrBLW
|
| 049 |
|
|
|a TXAM
|
| 050 |
|
4 |
|a QA8.9-QA10.3
|
| 082 |
0 |
4 |
|a 005.131
|2 23
|
| 100 |
1 |
|
|a Parkes, Alan P.
|
| 245 |
1 |
0 |
|a Introduction to Languages, Machines and Logic :
|b Computable Languages, Abstract Machines and Formal Logic /
|c by Alan P. Parkes.
|
| 264 |
|
1 |
|a London :
|b Springer London :
|b Imprint :
|b Springer,
|c 2002.
|
| 300 |
|
|
|a 1 online resource (XI, 351 pages)
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 520 |
|
|
|a This book provides an accessible introduction to the most important features of formal languages and automata theory - core topics on computer science degree schemes worldwide. It focuses on the key concepts, illustrating potentially intimidating material through diagrams and pictorial representations, and this edition will include new and expanded coverage of topics such as: reduction and simplification of material on Turing machines; complexity and O notation; propositional logic and first order predicate logic. Aimed primarily at computer scientists rather than mathematicians, algorithms and proofs are presented informally through examples, and there are numerous exercises (many with solutions) and an extensive glossary. This book will be invaluable to students of computer science but it will also prove essential reading to all practitioners needing to know about formal methods.
|
| 500 |
|
|
|a Electronic resource.
|
| 650 |
|
0 |
|a Computer science.
|
| 650 |
|
0 |
|a Information theory.
|
| 650 |
|
0 |
|a Computer science
|x Mathematics.
|
| 650 |
|
7 |
|a Computer science.
|2 fast
|0 (OCoLC)fst00872451
|
| 650 |
|
7 |
|a Computer science
|x Mathematics.
|2 fast
|0 (OCoLC)fst00872460
|
| 650 |
|
7 |
|a Information theory.
|2 fast
|0 (OCoLC)fst00973149
|
| 655 |
|
7 |
|a Electronic books.
|2 local
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 856 |
4 |
0 |
|u http://proxy.library.tamu.edu/login?url=https://link.springer.com/10.1007/978-1-4471-0143-7
|z Connect to the full text of this electronic book
|t 0
|
| 994 |
|
|
|a 92
|b TXA
|
| 999 |
|
|
|a MARS
|
| 999 |
f |
f |
|s 53bdcb8c-0acb-36e5-b7bb-3c0823e2bae5
|i 94778740-2295-3468-bd80-81761833e417
|t 0
|
| 952 |
f |
f |
|a Texas A&M University
|b College Station
|c Electronic Resources
|s www_evans
|d Available Online
|t 0
|e QA8.9-QA10.3
|h Library of Congress classification
|
| 998 |
f |
f |
|a QA8.9-QA10.3
|t 0
|l Available Online
|