VIAF

Virtual International Authority File

Search

Spivey, J. M. Library of Congress/NACO NUKAT Center of Warsaw University Library

Michael Spivey Wikidata ISNI

Spivey, J. Michael German National Library

Spivey, J. M., 1960- National Library of the Czech Republic

VIAF ID: 85217999 (Personal)

Permalink: http://viaf.org/viaf/85217999

ISNI: 0000  0001  1772  9904 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (11)

Open Section Close SectionWorks

Title Sources
introduction to logic programming through Prolog. - Library of Congress/NACO German National Library NUKAT Center of Warsaw University Library
Understanding Z : a specification language and its formal semantics Library of Congress/NACO NUKAT Center of Warsaw University Library
The Z notation, 1988, c1987: Library of Congress/NACO
Z Notation : A Reference Manual Library of Congress/NACO xR Extended Titles

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (2)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (3)

Open Section Close Section About

Open Section Close Section History of VIAF ID:85217999 (13)