WorldCat Identities

Spivey, J. M.

Overview
Works: 8 works in 49 publications in 2 languages and 903 library holdings
Roles: Author, Thesis advisor
Classifications: QA76.73.Z2, 005.133
Publication Timeline
Key
Publications about  J. M Spivey Publications about J. M Spivey
Publications by  J. M Spivey Publications by J. M Spivey
Most widely held works by J. M Spivey
The Z notation : a reference manual by J. M Spivey ( Book )
27 editions published between 1987 and 1994 in English and French and held by 422 WorldCat member libraries worldwide
Software -- Software Engineering
Understanding Z : a specification language and its formal semantics by J. M Spivey ( Book )
10 editions published between 1985 and 2009 in English and held by 312 WorldCat member libraries worldwide
An introduction to logic programming through Prolog by J. M Spivey ( Book )
7 editions published between 1996 and 2002 in English and held by 158 WorldCat member libraries worldwide
Towards a formal semantics for the Z notation by J. M Spivey ( Book )
1 edition published in 1984 in English and held by 6 WorldCat member libraries worldwide
Logic Programming for Programmers by J. M Spivey ( Book )
1 edition published in 1994 in English and held by 2 WorldCat member libraries worldwide
Optimisation of the Geomlab compiler by using type information to avoid unnecessary boxing by Benoit Bataille ( )
1 edition published in 2012 in English and held by 1 WorldCat member library worldwide
Implementing a lazy functional language on the JVM by Erik Lee ( )
1 edition published in 2012 in English and held by 1 WorldCat member library worldwide
University of York Portable PROLOG system by J. M Spivey ( Book )
1 edition published in 1984 in English and held by 1 WorldCat member library worldwide
 
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.71 (from 0.00 for Logic Prog ... to 0.87 for Towards a ...)
Alternative Names
Spivey, J. M.
Spivey, J. Mike 1960-
Spivey, Michael.
Spivey, Michael 1960-
Spivey, Mike
Spivey, Mike 1960-
Languages
English (47)
French (2)
Covers