You need to sign in or sign up before continuing.
Take a photo of a barcode or cover
Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 11428)
—
Tomas Vojnar
—
Tomas Vojnar
837 pages • missing pub info (view editions)
ISBN/UID: 9783030174651
Format: Digital
Language: English
Publisher: Springer
Edition Pub Date: Not specified
Community Reviews
Content Warnings
Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 11428)
—
Tomas Vojnar
—
Tomas Vojnar
837 pages • missing pub info (view editions)
ISBN/UID: 9783030174651
Format: Digital
Language: English
Publisher: Springer
Edition Pub Date: Not specified
Community Reviews
Content Warnings