BOOKS EBOOKS RARE BOOKS CLASSICAL CDs DVDs PRINTED MUSIC PODCASTS OFFERS
 

Search for: J M Spivey

Refine your search:

 

£18.99
Usually despatched within 10 days

New & used from £21.33
ISBN: 9780521054140 - Understanding Z Understanding Z
J M Spivey

ISBN10: 0521054141  ISBN13: 9780521054140
Publisher: Cambridge University Press
Format: Paperback
Publication date: 21 Jan 2008
This book provides a standard framework for understanding Z specifications. The Z notation is a language for expressing mathematical specifications of computing systems. By providing a formal semantics for Z, this book justifies the claim that Z... More

£23.95
Out of print

Used from £0.73
ISBN: 9780139837685 - Z. Notation Z. Notation
J M Spivey

ISBN10: 013983768X  ISBN13: 9780139837685
Publisher: Longman Longman Higher Education
Format: Paperback
Publication date: 01 Nov 1988

£26.95
Out of print

Used from £2.97
ISBN: 9780139785290 - Z. Notation Z. Notation
J M Spivey

ISBN10: 0139785299  ISBN13: 9780139785290
Publisher: Pearson Education Limited Prentice-Hall
Edition: 2nd Revised edition
Format: Paperback
Publication date: 01 Apr 1992
Preface 1 Tutorial Introduction 11.1 What is a formal specification? 11.2 The birthday book 31.3 Strengthening the specification 71.4 From specifications to designs 101.5 Implementing the birthday book 111.6 A simple checkpointing scheme 172... More

£35.00
Out of print

New & used from £0.73
ISBN: 9780521334297 - Understanding Z Understanding Z
J M Spivey

ISBN10: 0521334292  ISBN13: 9780521334297
Publisher: Cambridge University Press
Format: Hardback
Publication date: 31 Mar 1988
This book provides a standard framework for understanding Z specifications. The Z notation is a language for expressing mathematical specifications of computing systems. By providing a formal semantics for Z, this book justifies the claim that Z... More

£27.99
Out of print

Used from £2.33
ISBN: 9780135360477 - Logic Programming for Programmers Logic Programming for Programmers
J M Spivey

ISBN10: 0135360471  ISBN13: 9780135360477
Publisher: Pearson Education Limited Prentice-Hall
Edition: 03241997
Format: Paperback
Publication date: 01 Apr 1994
Logic programming has increasing significance in computer science beyond the current fashion for expert systems. This book takes a software engineering rather than an expert systems/AI approach and covers logical theory, practical programming and... More

£299.95
Usually despatched within 10 days

New & used from £360.19
ISBN: 9781847559517 - Catalysis (Vol. 22) Catalysis (Vol. 22)
James J Spivey, K M Dooley

ISBN10: 1847559514  ISBN13: 9781847559517
Publisher: Royal Society of Chemistry
Format: Hardback
Publication date: 01 Apr 2010
Catalysis will be of interest to anyone working in academia and industry that needs an up-to-date critical analysis and summary of catalysis research and applications. There is an increasing need to find cost-effective and environmentally sound... More

£299.95
Usually despatched within 10 days

New & used from £332.43
ISBN: 9780854042494 - Catalysis Catalysis
James J Spivey, K M Dooley

ISBN10: 0854042490  ISBN13: 9780854042494
Publisher: Royal Society of Chemistry
Format: Hardback
Publication date: 28 Feb 2009
Catalysis will be of interest to anyone working in academia and industry that needs an up-to-date critical analysis and summary of catalysis research and applications. Specialist Periodical Reports provide systematic and critical review coverage... More