|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
FME '94: Industrial Benefit of Formal Methods [electronic resource] : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24–28, 1994 Proceedings / edited by Maurice Naftalin, Tim Denvir, Miquel Bertran. by Naftalin, Maurice [editor.] | Denvir, Tim [editor.] | Bertran, Miquel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 873Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Object-Oriented Technology: ECOOP’98 Workshop Reader [electronic resource] : ECOOP’ 98 Workshops, Demos, and Posters Brussels, Belgium, July 20–24, 1998 Proceedings / edited by Serge Demeyer, Jan Bosch. by Demeyer, Serge [editor.] | Bosch, Jan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1543Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Object-Based Models and Languages for Concurrent Systems [electronic resource] : ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution Bologna, Italy, July 5, 1994 Proceedings / edited by Paolo Ciancarini, Oscar Nierstrasz, Akinori Yonezawa. by Ciancarini, Paolo [editor.] | Nierstrasz, Oscar [editor.] | Yonezawa, Akinori [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 924Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|