|
|
|
|
|
|
|
|
|
|
|
Foundations of Software Science and Computation Structures [electronic resource] : 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings / edited by Furio Honsell, Marino Miculan. by Honsell, Furio [editor.] | Miculan, Marino [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2030Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers / edited by Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack, Robert Pollack. by Callaghan, Paul [editor.] | Luo, Zhaohui [editor.] | McKinna, James [editor.] | Pollack, Robert [editor.] | Pollack, Robert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2277Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Foundations of Software Science and Computation Structures [electronic resource] : 5th International Conference, FOSSACS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings / edited by Mogens Nielsen, Uffe Engberg. by Nielsen, Mogens [editor.] | Engberg, Uffe [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2303Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|