|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Theories of Programming Languages by Reynolds, John C. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; Cambridge University press ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 16 Call number: 681.3 REY.
|
|
|
|
Programming Language Pragmatics by Scott, Michael L. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: USA ; Harcourt Asia ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 18 Call number: 681.3 SCO.
|
|
|
|
Programming Language Concepts by Ghezzi, Carlo | Jazayeri, Mehdi. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: USA ; John Wiley ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 16 Call number: 681.9 GHE.
|
|
|
|
|
|
|
|
Types and programming languages by Pierce, Benjamin C. Material type: Text;Language: ; Format:
print
Publication details: Cambridge, Mass. ; MIT Press ; 2002Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 47 Call number: 681.3.06 PIE.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Semantic techniques in quantum computation by Gay, Simon Ed | Mackie, Ian. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New york ; Cambridge university press ; 2010Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 47 Call number: 681.3 GAY.
|
|
|
|
|
|
|
|
|
|
|
|
Software Engineering and Formal Methods [electronic resource] : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings / edited by Rocco De Nicola, Eva Kühn. by De Nicola, Rocco [editor.] | Kühn, Eva [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9763 | Lecture Notes in Computer Science ; 9763Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Computer Aided Verification [electronic resource] : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II / edited by Rupak Majumdar, Viktor Kunčak. by Majumdar, Rupak [editor.] | Kunčak, Viktor [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10427 | Lecture Notes in Computer Science ; 10427Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Model Checking Software [electronic resource] : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings / edited by Dragan Bošnački, Anton Wijs. by Bošnački, Dragan [editor.] | Wijs, Anton [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9641 | Lecture Notes in Computer Science ; 9641Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Formal Methods and Software Engineering [electronic resource] : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings / edited by Zhenhua Duan, Luke Ong. by Duan, Zhenhua [editor.] | Ong, Luke [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10610 | Lecture Notes in Computer Science ; 10610Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|