Search
Lexile Level
AR Level
AR Level
Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers 9783642252709 by
Aichernig, Bernhard K -
Springer,
-2011
Dewey: 005.1
N/A
Formal Methods for Components and Objects: Third International Symposium, Fmco 2004, Leiden, the Netherlands, November 2-5, 2004, Revised Lectures (20 9783540291312 by
De Boer, Frank S -
Springer,
-2005
Dewey: 004.07
N/A
Formal Methods for Components and Objects: Second International Symposium, Fmco 2003, Leiden, the Netherlands, November 4-7, 2003. Revised Lectures (2 9783540229421 by
Boer, Frank S de -
Springer,
-2004
Dewey: 005.3
N/A
Verification of Sequential and Concurrent Programs (2009, Corr. 3rd Printing 2010) 9781848827448 by
Apt, Krzysztof R -
Springer,
-2009
Dewey: 005.1
N/A
Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, the Netherlands, November 1-4, 2005, Revised Lectures (2 9783540367499 by
De Boer, Frank S -
Springer,
-2006
Dewey: 004.07
N/A
Formal Methods for Components and Objects: 11th International Symposium, Fmco 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (2013) 9783642406140 by
Giachino, Elena -
Springer,
-2013
Dewey: 005.1
N/A
Formal Methods for Components and Objects (2007) 9783540747918 by
De Boer, Frank S -
Springer,
-2007
Dewey: 004.07
N/A
Formal Methods for Components and Objects 9783642170706 by
De Boer, Frank S -
Springer,
-2011
Dewey: 004.07
N/A
Verification of Sequential and Concurrent Programs 9781447125136 by
Apt, Krzysztof R -
Springer,
-2012
Dewey: 005.1
N/A
Formal Methods for Components and Objects: First International Symposium, Fmco 2002, Leiden, the Netherlands, November 5-8, 2002, Revised Lectures (20 9783540203032 by
Boer, Frank S de -
Springer,
-2003
Dewey: 005.3
N/A
Theoretical Computer Science: 7th Ifip Tc1/Wg 2.2 International Conference, Tcs 2012, Amsterdam, the Netherlands, September 26-28, 2012, Proceedings 9783642334740 by
Baeten, Jos C M -
Springer,
-2012
Dewey: 004.0151
N/A
Formal Methods for Components and Objects: 10th International Symposium, Fmco 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (2013) 9783642358869 by
Beckert, Bernhard -
Springer,
-2013
Dewey: 005.131
N/A