ISBN 9783031401312 books & textbook
Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday (Lecture Notes in Computer Science)
Haxthausen, Anne E. Huang, Wen-ling Roggenbach, Markus
Springer /2023-08-17 Paperback / 348 Pages
isbn-10: 303140131X / isbn-13: 9783031401312
