|
Title:
Concise Guide to Formal Methods :
|
Author:
O'Regan, Gerard
|
Call No:
005.131 ORC
|
Publisher:
Springer
,
New Delhi
,
2017
Detail
|
|
Title:
Formal languages and automata theory.
|
Author:
Behera, H. S.
|
Call No:
005.131 BEF
|
Publisher:
Vikas Publishing House Pvt. Ltd.
,
Not Available
,
2014
Detail
|
|
Title:
Formal languages and automata theory
|
Author:
Anami, Basavaraj
|
Call No:
005.131 ANF
|
Publisher:
Wiley India Pvt. Ltd
,
New Delhi
,
2018
Detail
|
|
Title:
Understanding symbolic logic
|
Author:
Klenk, Virginia
|
Call No:
160 KLU
|
Publisher:
Pearson Education
,
Delhi
,
2008
Detail
|
|
Catalogue
Books
|
Periodicals
|
Newspapers
|
Publications
|
Research Papers
|
|
|
|