Normal view MARC view ISBD view

Software engineering and formal methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019 : proceedings / ed. Peter Csaba Ölveczky, Gwen Salaün

Corporate Author (Main) International Conference on Software Engineering and Formal Methods (SEFM 2019), 17, Oslo, 2019 Secondary Author Ölveczky, Peter Csaba
Salaün, Gwen
Country Suiça. Publication Cham : Springer, cop. 2019 Description XVIII, 550 p. : il. ; 24 cm Series Lecture notes in computer science , 11724 , 0302-9743 ISBN 978-3-030-30445-4 CDU 681.3 510.6
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Holdings
Item type Current location Call number Status Date due Barcode Item holds
Monografia Biblioteca Geral da Universidade do Minho
BGUM 681.3 - I Available 473875
Total holds: 0

Enhanced descriptions from Syndetics:

There are no comments for this item.

Log in to your account to post a comment.