Your search returned 4 results.

Not what you expected? Check for suggestions
Sort
Results
Using formal description techniques : an introduction to Estelle, LOTOS, and SDL / Edited by Kenneth J Turner

by Turner, Kenneth J.

Series: Wiley series in communication and distributed systemsMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: General; Publication details: England : John Wiley & Sons , 1993cAvailability: Items available for loan: 1 Call number: 004.6 TUR-U 1993 2968.

Elements of the theory of computation / by Harry R. Lewis, Christos H. Papadimitriou.

by Lewis, Harry R | Papadimitriou, Christos H.

Edition: 2nd ed.Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: General; Publication details: New Delhi : Phi Learning, 2012Availability: Items available for loan: 1 Call number: 004 LEW-E 2012 3577.

Introduction to automata theory, languages, and computation / by John E. Hopcroft, Jeffrey D. Ullman.

by Hopcroft, John E, 1939- | Ullman, Jeffrey D, 1942- [joint author.].

Series: Addison-Wesley series in computer scienceEdition: 2nd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Reading, Mass. : Addison-Wesley, c1979Availability: Items available for loan: 1 Call number: 629.8312 HOP-A 1979 8489.

An introduction to formal languages and automata / Peter Linz, PhD, University of California at Davis.

by Linz, Peter.

Edition: 6th edition.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New Delhi : Jones & Bartlett Learning, 2018Availability: Items available for loan: 1 Call number: 005.131 LIN-I 2018 9878.

Pages