UID:
almahu_9949972130102882
Format:
1 online resource (613 pages)
Edition:
1st ed.
ISBN:
9783030174651
Series Statement:
Lecture Notes in Computer Science Series ; v.11428
Additional Edition:
Print version: Vojnar, Tomás Tools and Algorithms for the Construction and Analysis of Systems Cham : Springer International Publishing AG,c2019 ISBN 9783030174644
Language:
English
Keywords:
Electronic books.