Buy new:
$54.99
FREE delivery Saturday, May 18
Ships from: Amazon.com
Sold by: Amazon.com
$54.99
FREE Returns
FREE delivery Saturday, May 18
Or fastest delivery Thursday, May 16. Order within 11 hrs 42 mins
In Stock
$$54.99 () Includes selected options. Includes initial monthly payment and selected options. Details
Price
Subtotal
$$54.99
Subtotal
Initial payment breakdown
Shipping cost, delivery date, and order total (including tax) shown at checkout.
Ships from
Amazon.com
Ships from
Amazon.com
Sold by
Amazon.com
Sold by
Amazon.com
Returns
30-day easy returns
30-day easy returns
This item can be returned in its original condition for a full refund or replacement within 30 days of receipt.
Read full return policy
Returns
30-day easy returns
This item can be returned in its original condition for a full refund or replacement within 30 days of receipt.
Read full return policy
Payment
Secure transaction
Your transaction is secure
We work hard to protect your security and privacy. Our payment security system encrypts your information during transmission. We don’t share your credit card details with third-party sellers, and we don’t sell your information to others. Learn more
Payment
Secure transaction
We work hard to protect your security and privacy. Our payment security system encrypts your information during transmission. We don’t share your credit card details with third-party sellers, and we don’t sell your information to others. Learn more
$46.89
Ex-library paperback in good condition with the usual markings and attachments. Ex-library paperback in good condition with the usual markings and attachments. See less
$4.69 delivery May 20 - 21. Details
Or fastest delivery May 14 - 20. Details
Only 1 left in stock - order soon.
$$54.99 () Includes selected options. Includes initial monthly payment and selected options. Details
Price
Subtotal
$$54.99
Subtotal
Initial payment breakdown
Shipping cost, delivery date, and order total (including tax) shown at checkout.
Access codes and supplements are not guaranteed with used items.
Ships from and sold by GuthrieBooks.
Kindle app logo image

Download the free Kindle app and start reading Kindle books instantly on your smartphone, tablet, or computer - no Kindle device required.

Read instantly on your browser with Kindle for Web.

Using your mobile phone camera - scan the code below and download the Kindle app.

QR code to download the Kindle App

Follow the author

Jonathan Bowen
+ Follow
More books from this author
Something went wrong. Please try your request again later.

ZUM '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings (Lecture Notes in Computer Science, 1493) 1998th Edition

by Jonathan P. Bowen (Editor), Andreas Fett (Editor), Michael G. Hinchey (Editor)
See all formats and editions
{"desktop_buybox_group_1":[{"displayPrice":"$54.99","priceAmount":54.99,"currencySymbol":"$","integerValue":"54","decimalSeparator":".","fractionalValue":"99","symbolPosition":"left","hasSpace":false,"showFractionalPartIfEmpty":true,"offerListingId":"v%2F9%2Ff7sKwWO2mG2UAfAnfgd%2Bmzy5KskCdrIquPVyL0%2BTW3VDiV4NAnJpAZRSVS4FPcGS47tZu5TNMiJ8aMNqQPB0yLBZKSb5Qm8qRuRxCNPqsrzkeDgIJgn8ZpoWCEjmXgvDnMNAky8%3D","locale":"en-US","buyingOptionType":"NEW","aapiBuyingOptionIndex":0}, {"displayPrice":"$46.89","priceAmount":46.89,"currencySymbol":"$","integerValue":"46","decimalSeparator":".","fractionalValue":"89","symbolPosition":"left","hasSpace":false,"showFractionalPartIfEmpty":true,"offerListingId":"v%2F9%2Ff7sKwWO2mG2UAfAnfgd%2Bmzy5KskCeBaU0zm2wMpr0MGkHb61OJNkSa2A8zT%2FvfngewRM5WYVud%2FOhls%2BW9mLtTmjZhXyz6YD5ZRrj4tSCvuo%2Bx7k%2Ff2jqj7uivoB%2F1qeU75%2FttpV3C2tLa1GmVeWLtPPkQcapnt8oEVW2RI%3D","locale":"en-US","buyingOptionType":"USED","aapiBuyingOptionIndex":1}]}

Purchase options and add-ons

1 In a number of recent presentations – most notably at FME’96 –oneofthe foremost scientists in the ?eld of formal methods, C.A.R. Hoare,has highlighted the fact that formal methods are not the only technique for producing reliable software. This seems to have caused some controversy,not least amongst formal methods practitioners. How can one of the founding fathers of formal methods seemingly denounce the ?eld of research after over a quarter of a century of support? This is a question that has been posed recently by some formal methods skeptics. However, Prof. Hoare has not abandoned formal methods. He is reiterating, 2 albeitmoreradically,his1987view thatmorethanonetoolandnotationwillbe requiredinthepractical,industrialdevelopmentoflarge-scalecomplexcomputer systems; and not all of these tools and notations will be, or even need be, formal in nature. Formalmethods arenotasolution,butratheroneofaselectionoftechniques that have proven to be useful in the development of reliable complex systems, and to result in hardware and software systems that can be produced on-time and within a budget, while satisfying the stated requirements. After almostthree decades,the time has come to view formalmethods in the context of overall industrial-scale system development, and their relationship to othertechniquesandmethods.Weshouldnolongerconsidertheissueofwhether we are “pro-formal” or “anti-formal”, but rather the degree of formality (if any) that we need to support in system development. This is a goal of ZUM’98, the 11th International Conference of Z Users, held for the ?rst time within continental Europe in the city of Berlin, Germany.
Read more Read less
Previous page
  1. ISBN-10
    9783540650706
  2. ISBN-13
    978-3540650706
  3. Edition
    1998th
  4. Publisher
    Springer
  5. Publication date
    September 16, 1998
  6. Language
    English
  7. Dimensions
    6.1 x 1 x 9.25 inches
  8. Print length
    440 pages
  9. See all details
Next page
Amazon First Reads | Editors' picks at exclusive prices

Product details

  • ASIN ‏ : ‎ 3540650709
  • Publisher ‏ : ‎ Springer; 1998th edition (September 16, 1998)
  • Language ‏ : ‎ English
  • Paperback ‏ : ‎ 440 pages
  • ISBN-10 ‏ : ‎ 9783540650706
  • ISBN-13 ‏ : ‎ 978-3540650706
  • Item Weight ‏ : ‎ 1.35 pounds
  • Dimensions ‏ : ‎ 6.1 x 1 x 9.25 inches

About the author

Follow authors to get new release updates, plus improved recommendations.
Jonathan Bowen

Jonathan Bowen

Brief content visible, double tap to read full content.
Full content visible, double tap to read brief content.

Jonathan Bowen, FBCS FRSA, is Chairman of Museophile Limited (founded in 2002), an Emeritus Professor at London South Bank University, where he established and headed the Centre for Applied Formal Methods in 2000, and since 2017 an Adjunct Professor at Southwest University, Chongqing, China. Between 2013-15, he was Professor of Computer Science at Birmingham City University. During 2006–07, he was a visiting academic at University College London. Between 2007–09, he was a Visiting Professor at King's College, London, and during 2008–09, he was an Associate at Praxis High Integrity Systems (now Altran). From 2010, he was a Visiting Professor at the University of Westminster. During 2010 he was a Visiting Professor at Waikato University in New Zealand and in 2012 he was a Visiting Professor at the Pratt Institute in New York.

Customer reviews

No customer reviews