Filter
Sökt på: Sökresultat
Filter
totalt 2 träffar
Recent Trends in Algebraic Development Techniques
häftad,
2017,
Engelska,
ISBN 9783319720432
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016, held in …
Applicable Formal Methods for Safe Industrial Products
häftad,
2023,
Engelska,
ISBN 9783031401312
This Festschrift, dedicated to Jan Peleska on the occasion of his 65th birthday, contains papers written by many of his closest collaborators in academic and industry research. …