Title:
Concise Guide to Formal Methods :
|
|
Author:
O'Regan, Gerard
|
|
Call No:
005.131 ORC
|
|
Publisher:
Springer
,
New Delhi
,
2017
Detail
|
|
Title:
Introduction to automata theory, languages, and computation
|
|
Author:
Hopcroft, John E.
|
|
Call No:
511.35 HOI
|
|
Publisher:
Pearson Education Services
,
Not Available
,
2014
Detail
|
|
|
Title:
Introduction to automata theory languages and computation
|
|
Author:
Kandar, Shamalendu
|
|
Call No:
511.35 KAI
|
|
Publisher:
Dorling Kinderley (India) Pvt. Ltd.
,
New Delhi
,
2013
Detail
|
|
|
Title:
Automata and languages
|
|
Author:
Meduna, Alexander
|
|
Call No:
511.3 MEA
|
|
Publisher:
Springer (India) Pvt. Ltd.
,
New Delhi
,
2005
Detail
|
|
|
Title:
An introduction to Formal languages and automata /
|
|
Author:
Linz, Peter
|
|
Call No:
005.131 LII
|
|
Publisher:
Jones and Barrlett India Pvt. Ltd.
,
Not Available
,
2017
Detail
|
|
|
Title:
Elements of the theory of computation
|
|
Author:
Lewis, Harry R.
|
|
Call No:
511.3 LEE
|
|
Publisher:
Pearson India Education Services Pvt. Ltd.
,
Not Available
,
2015
Detail
|
|
|
Title:
Introduction to automata theory, languages, and computation
|
|
Author:
Hopcroft, John E.
|
|
Call No:
511.3 HOI
|
|
Publisher:
Pearson Education
,
Delhi
,
2011
Detail
|
|
|
Title:
Formal languages and their relation to automata
|
|
Author:
Hopcroft, John E.
|
|
Call No:
629.8312 HOF
|
|
Publisher:
Addison-Wesely Publishing Company
,
California
,
1969
Detail
|
|
|
Title:
Introduction to automata theory, languages, and computation
|
|
Author:
Hopcroft, John E.
|
|
Call No:
511.3 HOI
|
|
Publisher:
Pearson Education
,
Delhi
,
2001
Detail
|
|
|
Title:
Introduction to theory of automata, formal languages and computation
|
|
Author:
Ghosh, Debidas
|
|
Call No:
511.3 GHI
|
|
Publisher:
PHI Learning Pvt. Ltd.,
,
New Delhi:
,
2013
Detail
|
|
|