My Library

University LibraryCatalogue

     
Limit search to items available for borrowing or consultation
Save Marked Record Save All Records Save Marked to My Lists
AUTHORS (1-2 of 2)
Barnat, Jiří,
1
 
    E-RESOURCE 2018

Formal methods for industrial critical systems : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings / Falk Howar, Jiří Barnat (eds.).

    International Workshop on Formal Methods for Industrial Critical Systems (23rd : 2018 : Maynooth, Ireland)
Cham, Switzerland : Springer,        1 online resource (xvi, 291 pages) : illustrations. 2018
2
 
    E-RESOURCE 2018

Formal methods for industrial critical systems : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings / Falk Howar, Jiří Barnat (eds.).

    International Workshop on Formal Methods for Industrial Critical Systems (23rd : 2018 : Maynooth, Ireland)
Cham, Switzerland : Springer,        1 online resource (xvi, 291 pages) : illustrations. 2018
Save Marked Record Save All Records
Locate in results
 
Can't find that book? Try BONUS+

Search Discovery

Search CARM Centre Catalogue

Search Trove