Your search returned 4 results.

1.
Logics of Specification Languages by Dines Bjorner

by Bjorner, D | Henson, Martin C.

Material type: Text Text Publication details: Berlin Springer Verlag, Netherlands 2008Availability: Items available for reference: Not for loanCall number: REF 005.13 BJO (1). :

2.
Formal Semantics of Programming Languages: an introduction Glynn Winskel

by Winskel, Glynn.

Material type: Text Text Publication details: Cambridge MIT Press 1993Availability: Items available for reference: Not for loanCall number: REF 005.3 WIN (1). :

3.
Semantics of Programming Languages : structures and Techniques Carl A. Gunter

by Gunter, Carl A.

Material type: Text Text Publication details: Cambridge MIT Press 1992Availability: Items available for loan: Call number: 005.13 GUN (1).

4.
Natural Language Understanding James Allen

by Allen, James.

Edition: 2nd ed.Material type: Text Text Publication details: New Delhi Pearson India 2007Availability: Items available for loan: Call number: 006.35 ALL (5).


Library Home | Contact Us | LRC Help

Copyright @ 2020 LRC
Jaypee University of Information Technology
website hit counter

Powered by Koha