|
1.
|
Algebraic approaches to program semantics
by Manes, Ernest G | Arbib, Michael A. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 351p.Publisher: New York Springer-Verlag 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M313a] (1).
|
|
2.
|
PRACTICAL INTRODUCTION TO DENOTATIONAL SEMANTICS
by Allison, Lloyd. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,132.Publisher: Cambridge Cambridge Univ. Pr. 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 AL56p] (1).
|
|
3.
|
FORMAL SPECIFICATION OF PROGRAMMING LANGUAGES
by Pagan, Frank G. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,245.Publisher: Englewood Cliffs Prentice-Hall 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 P14f] (1).
|
|
4.
|
FULL ABSTRACTION AND SEMANTIC EQUIVALENCE
by Mulmuley, Ketan. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 198.Publisher: Cambridge Mit Pr. 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M918fa] (1).
|
|
5.
|
FOUNDATIONS OF LOGIC PROGRAMMING
by Lloyd, J.W. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,124.Publisher: Berlin Springer-Verlag 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 L777f] (1).
|
|
6.
|
FOUNDATIONS OF LOGIC PROGRAMMING
by Lloyd, J.W. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 317.Publisher: Berlin Springer-Verlag 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 L777f] (1).
|
|
7.
|
FAIRNESS
by Francez, Nissim. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,295.Publisher: New York Springer Verlag 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 F845f] (1).
|
|
8.
|
AADIKAND
by Bandyopadhyay. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 138.Publisher: Cambridge Mit Press 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 891.433 B222A] (1).
|
|
9.
|
Algebraic methods in semantics
by Nivat, Maurice | Nivat, Maurice, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 634p.Publisher: Cambridge Cambridge University Press 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Al33] (1).
|
|
10.
|
INITIAL COMPUTABILITY, ALGEBRAIC SPECIFICATIONS, AND PARTIAL ALGEBRAS
by Reichel, Horst. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 221.Publisher: Oxford Clarendon Pr. 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512 R271i] (1).
|
|
11.
|
SEMANTICS OF PROGRAMMING LANGUAGES
by Gunter,Carl A. Material type: Book Description: xviii,419.Publisher: Mit Press, Cambridge c1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 G957S] (1).
|
|
12.
|
THE FORMAL SEMANTICS OF PROGRAMMING LANGUAGES
by Winskel,Glynn. Material type: Book Description: xviii,361.Publisher: Mit Press, Cambridge c1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.131 W732F] (1).
|
|
13.
|
FORMAL SYNTAX AND SEMANTICS OF PROGRAMMING LANGUAGES
by Slonneger,Kenneth | Kurtz,Barry L. Material type: Book Description: xviii,637.Publisher: Addison-Wesley, Reading,Mass. c1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.131 SL54F] (1).
|
|
14.
|
Programming logics
: an introduction to verification and semantics
by Gumb, Raymond D. Material type: Book Description: xvii, 334p.Publisher: New York John Wiley 1989Availability: No items available Checked out (1).
|
|
15.
|
ALGEBRAIC THEORY OF PROCESSES
by Hannesay, Matthew. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vi,273.Publisher: Cambridge Mit Press 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6420151 H196a] (1).
|
|
16.
|
SEMANTICS WITH APPLICATIONS
: AN APPETIZER
by Nielson,Hanne Riis | Nielson,Flemming. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,274.Publisher: Springer-Verlag, London 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.131 N554S] (1).
|
|
17.
|
Fully abstract models of programming languages
by Stoughton, Allen. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 123p.Publisher: London Pitman Publishing 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 St76f] (1).
|