|
|
|
Compiler Construction [electronic resource] : 8th International Conference, CC’99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99, Amsterdam, The Netherlands, March 22-28, 1999. Proceedings / edited by Stefan Jähnichen. by Jähnichen, Stefan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1575Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Compositionality: The Significant Difference [electronic resource] : International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures / edited by Willem-Paul Roever, Hans Langmaack, Amir Pnueli. by Roever, Willem-Paul [editor.] | Langmaack, Hans [editor.] | Pnueli, Amir [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1536Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
TAPSOFT '95: Theory and Practice of Software Development [electronic resource] : 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings / edited by Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach. by Mosses, Peter D [editor.] | Nielsen, Mogens [editor.] | Schwartzbach, Michael I [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 915Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Formal Methods in Computer-Aided Design [electronic resource] : First International Conference, FMCAD '96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings / edited by Mandayam Srivas, Albert Camilleri. by Srivas, Mandayam [editor.] | Camilleri, Albert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1166Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Perspectives of System Informatics [electronic resource] : Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings / edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin. by Bjørner, Dines [editor.] | Broy, Manfred [editor.] | Pottosin, Igor V [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1181Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
ZUM ’98: The Z Formal Specification Notation [electronic resource] : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings / edited by Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey. by Bowen, Jonathan P [editor.] | Fett, Andreas [editor.] | Hinchey, Michael G [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1493Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
FM 2008: Formal Methods [electronic resource] : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings / edited by Jorge Cuellar, Tom Maibaum, Kaisa Sere. by Cuellar, Jorge [editor.] | Maibaum, Tom [editor.] | Sere, Kaisa [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5014Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
ZUM '97: The Z Formal Specification Notation [electronic resource] : 10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings / edited by Jonathan P. Bowen, Michael G. Hinchey, David Till. by Bowen, Jonathan P [editor.] | Hinchey, Michael G [editor.] | Till, David [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1212Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Computer Aided Verification [electronic resource] : 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings / edited by Rajeev Alur, Thomas A. Henzinger. by Alur, Rajeev [editor.] | Henzinger, Thomas A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1102Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|