Integrated formal methods : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018 : proceedings / ed. Carlo A. Furia, Kirsten Winter
Corporate Author (Main) International Conference on Integrated Formal Methods (iFM 2018), 14, Maynooth, 2018 Secondary Author Furia, Carlo A.Winter, Kirsten Country Suiça. Publication Cham : Springer, cop. 2018 Description XVI, 420 p. : il. ; 24 cm Series Lecture notes in computer science , 11023 , 0302-9743 ISBN 978-3-319-98937-2 CDU 681.3 510.6
| Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
| Monografia | Biblioteca Geral da Universidade do Minho | BGUM 681.3 - I | Available | 473874 |
Total holds: 0
Enhanced descriptions from Syndetics:
There are no comments for this item.