Results
|
1.
|
|
|
2.
|
|
|
3.
|
|
|
4.
|
Formal methods for industrial critical systems : a survey of applications edited by Stefania Gnesi, Instituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche. Pisa, Italy, Tiziana Margaria, University of Potsdam, Potsdam, Germany. by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Hoboken, New Jersey : John Wiley & Sons, 2013
Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 004.0151 G53F.
|
|
5.
|
|