Search
Lexile Level
AR Level
AR Level
Concur 2011 -- Concurrency Theory: 22nd International Conference, Concur 2011, Aachen, Germany, September 6-9, 2011, Proceedings 9783642232169 by
Katoen, Joost-Pieter -
Springer,
-2011
Dewey: 004.6
N/A
Modeled, Tested, Trusted: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday (2017) 9783319682693 by
Katoen, Joost-Pieter -
Springer,
-2017
Dewey: 005.1015113
N/A
Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, Setta 2019, Shanghai, China, November 27-29, 2019, Pr 9783030355395 by
Guan, Nan -
Springer,
-2019
N/A
Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, Tacas 2002, Held as Part of the Joint European Confer 9783540434191 by
Katoen, Joost-Pieter -
Springer,
-2002
Dewey: 004.21
N/A
Validation of Stochastic Systems: A Guide to Current Research (2004) 9783540222651 by
Baier, Christel -
Springer,
-2004
Dewey: 519.22
N/A
Model-Based Testing of Reactive Systems: Advanced Lectures (2005) 9783540262787 by
Broy, Manfred -
Springer,
-2005
Dewey: 005.14
N/A
Lectures on Formal Methods and Performance Analysis: First Eef/Euro Summer School on Trends in Computer Science Berg En Dal, the Netherlands, July 3-7 9783540424796 by
Brinksma, Ed -
Springer,
-2001
Dewey: 004.0151
N/A
Foundations of Probabilistic Programming 9781108488518 by
Barthe, Gilles -
Cambridge University Press,
-2021
N/A
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings (2023) 9783031274800 by
Chechik, Marsha -
Springer,
-2023
N/A