WorldCat Identities

Spivey, J. M.

Overview
Works: 10 works in 73 publications in 2 languages and 1,033 library holdings
Roles: Author, Thesis advisor
Classifications: QA76.73.Z2, 153
Publication Timeline
.
Most widely held works by J. M Spivey
The Z notation : a reference manual by J. M Spivey( Book )

33 editions published between 1987 and 1994 in English and French and held by 459 WorldCat member libraries worldwide

Software -- Software Engineering
Understanding Z : a specification language and its formal semantics by J. M Spivey( Book )

16 editions published between 1985 and 2009 in English and held by 327 WorldCat member libraries worldwide

An introduction to logic programming through Prolog by J. M Spivey( Book )

9 editions published between 1996 and 2002 in English and held by 169 WorldCat member libraries worldwide

The continuity of mind by Michael Spivey( Book )

9 editions published between 2007 and 2008 in English and held by 32 WorldCat member libraries worldwide

'The Continuity of Mind' shows that understanding a spoken sentence, comprehending a visual scene, or just thinking about the day's events involves the serial coalescing of different neuronal activation patterns. This book presents an overview of how perception, cognition, & action are partially overlapping segments
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

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

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

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

Mechanising defunctionalization by Stefano Pogliani( Book )

1 edition published in 2013 in English and held by 1 WorldCat member library worldwide

 
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.69 (from 0.39 for The contin ... to 0.85 for Mechanisin ...)

Understanding Z : a specification language and its formal semantics
Alternative Names
Michael Spivey Computer scientist

Spivey, J. M.

Spivey, J. Mike 1960-

Spivey, Michael.

Spivey, Michael 1960-

Spivey, Mike

Spivey, Mike 1960-

Languages
English (71)

French (2)

Covers
An introduction to logic programming through PrologThe continuity of mindLogic Programming for Programmers