The construction of formal specifications : an introduction to the model-based and algebraic approaches| (1994) / Turner, John

People who looked at this thing, also looked at this stuff...

JOURNALS		BOOKS
		Modern compiler implementation in Java : basic techniques (1997) / Appel, Andrew W. Java for students (3rd ed, 2002) / Bell, Doug Software engineering with B. (1996) / Wordsworth, John Introduction to computable languages and abstract machines (1996) / Parkes, Alan Introduction to neural computing (2nd ed, 1995) / Aleksander, Igor Software metrics : a rigorous and practical approach (2nd ed, 1997) / Fenton, Norman E. Modern compiler implementation in Java (1998) / Appel, Andrew W. Modern compiler implementation in Java (2nd ed, 2002) / Appel, Andrew W. Software engineering : principles and practice. (2nd ed, 2000) / Vliet, Hans van JDBC database access with Java : a tutorial and annotated reference (1997) / Hamilton, Graham The essence of neural networks (1999) / Callan, Robert Software engineering (6th ed, 2001) / Sommerville, Ian Data structures and algorithms in Java (2nd ed, 2001) / Goodrich, Michael T. C++ programming with CORBA (1999) / Vogel, Andreas An introduction to data structures and algorithms with Java (1998) / Rowe, Glenn Java in distributed systems : concurrency, distribution, and persistence (2001) / Boger, Marko Javaspaces : principles, patterns and practice (1999) / Freeman, Eric Java : first contact (1998) / Garside, Roger