|
|
|
|
Architecting Dependable Systems VI [electronic resource] / edited by Rogério Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice Beek. by Lemos, Rogério [editor.] | Fabre, Jean-Charles [editor.] | Gacek, Cristina [editor.] | Gadducci, Fabio [editor.] | Beek, Maurice [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5835Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Web Services and Formal Methods [electronic resource] : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers / edited by Maurice H. Beek, Niels Lohmann. by Beek, Maurice H [editor.] | Lohmann, Niels [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7843Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Critical Systems: Formal Methods and Automated Verification [electronic resource] : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings / edited by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp. by ter Beek, Maurice H [editor.] | Gnesi, Stefania [editor.] | Knapp, Alexander [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9933 | Lecture Notes in Computer Science ; 9933Edition: 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): .
|
