Refinement in Z and object-Z: foundations and advanced applications. By John Derrick and Eerke Boiten. Published by Springer-Verlag, Berlin, Germany, formal approaches to computing and information technology series, 2001. ISBN: 1-85233-245-X, 466 pages. Price: U.K. ?49.50, U.S.A. $79.95, Germany DM 159.90, soft cover.

Perdita Stevens

doi:10.1002/stvr.237

Refinement in Z and object-Z: foundations and advanced applications. By John Derrick and Eerke Boiten. Published by Springer-Verlag, Berlin, Germany, formal approaches to computing and information technology series, 2001. ISBN: 1-85233-245-X, 466 pages. Price: U.K. ?49.50, U.S.A. $79.95, Germany DM 159.90, soft cover.

Research output: Contribution to journal › Book/Film/Article review › peer-review

Original language	English
Pages (from-to)	61-61
Number of pages	1
Journal	Software Testing, Verification and Reliability
Volume	12
Issue number	1
DOIs	https://doi.org/10.1002/stvr.237
Publication status	Published - 2002

Access to Document

10.1002/stvr.237

http://onlinelibrary.wiley.com/doi/10.1002/stvr.237/abstract;jsessionid=C89701A52C7516AB14EE2F589A9C1DF7.f03t04

Cite this

Stevens, P. (2002). Refinement in Z and object-Z: foundations and advanced applications. By John Derrick and Eerke Boiten. Published by Springer-Verlag, Berlin, Germany, formal approaches to computing and information technology series, 2001. ISBN: 1-85233-245-X, 466 pages. Price: U.K. ?49.50, U.S.A. $79.95, Germany DM 159.90, soft cover. Software Testing, Verification and Reliability, 12(1), 61-61. https://doi.org/10.1002/stvr.237

Stevens, Perdita. / Refinement in Z and object-Z: foundations and advanced applications. By John Derrick and Eerke Boiten. Published by Springer-Verlag, Berlin, Germany, formal approaches to computing and information technology series, 2001. ISBN: 1-85233-245-X, 466 pages. Price: U.K. ?49.50, U.S.A. $79.95, Germany DM 159.90, soft cover. In: Software Testing, Verification and Reliability. 2002 ; Vol. 12, No. 1. pp. 61-61.

@article{dcabc2ec8c014ca29ffbacf57521faf9,

title = "Refinement in Z and object-Z: foundations and advanced applications. By John Derrick and Eerke Boiten. Published by Springer-Verlag, Berlin, Germany, formal approaches to computing and information technology series, 2001. ISBN: 1-85233-245-X, 466 pages. Price: U.K. ?49.50, U.S.A. $79.95, Germany DM 159.90, soft cover.",

author = "Perdita Stevens",

year = "2002",

doi = "10.1002/stvr.237",

language = "English",

volume = "12",

pages = "61--61",

journal = "Software Testing, Verification and Reliability",

issn = "0960-0833",

publisher = "John Wiley & Sons Inc.",

number = "1",

}

Stevens, P 2002, 'Refinement in Z and object-Z: foundations and advanced applications. By John Derrick and Eerke Boiten. Published by Springer-Verlag, Berlin, Germany, formal approaches to computing and information technology series, 2001. ISBN: 1-85233-245-X, 466 pages. Price: U.K. ?49.50, U.S.A. $79.95, Germany DM 159.90, soft cover.', Software Testing, Verification and Reliability, vol. 12, no. 1, pp. 61-61. https://doi.org/10.1002/stvr.237

Refinement in Z and object-Z: foundations and advanced applications. By John Derrick and Eerke Boiten. Published by Springer-Verlag, Berlin, Germany, formal approaches to computing and information technology series, 2001. ISBN: 1-85233-245-X, 466 pages. Price: U.K. ?49.50, U.S.A. $79.95, Germany DM 159.90, soft cover. / Stevens, Perdita.

In: Software Testing, Verification and Reliability, Vol. 12, No. 1, 2002, p. 61-61.

Research output: Contribution to journal › Book/Film/Article review › peer-review

TY - JOUR

T1 - Refinement in Z and object-Z: foundations and advanced applications. By John Derrick and Eerke Boiten. Published by Springer-Verlag, Berlin, Germany, formal approaches to computing and information technology series, 2001. ISBN: 1-85233-245-X, 466 pages. Price: U.K. ?49.50, U.S.A. $79.95, Germany DM 159.90, soft cover.

AU - Stevens, Perdita

PY - 2002

Y1 - 2002

U2 - 10.1002/stvr.237

DO - 10.1002/stvr.237

M3 - Book/Film/Article review

VL - 12

SP - 61

EP - 61

JO - Software Testing, Verification and Reliability

JF - Software Testing, Verification and Reliability

SN - 0960-0833

IS - 1

ER -

Stevens P. Refinement in Z and object-Z: foundations and advanced applications. By John Derrick and Eerke Boiten. Published by Springer-Verlag, Berlin, Germany, formal approaches to computing and information technology series, 2001. ISBN: 1-85233-245-X, 466 pages. Price: U.K. ?49.50, U.S.A. $79.95, Germany DM 159.90, soft cover. Software Testing, Verification and Reliability. 2002;12(1):61-61. https://doi.org/10.1002/stvr.237