THE WAY OF Z PRACTICAL PROGRAMMING WITH FORMAL METHODS (PB 1997)

JACKY J

ISBN 10: 0521559766 / ISBN 13: 9780521559768

Editore: CAMBRIDGE UNIVERSITY PRESS, 1997

Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 6-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability. Codice articolo CBS 9780521559768

Riassunto:

A self-contained tutorial on Z for working programmers discussing practical ways to apply formal methods in real projects, first published in 1997.

Recensione: '... this reviewer cannot imagine a book better suited to inspiring the sceptical hacker into believing that there is some genuine value in formal methods.' R. H. Banach, Axis

'... most books about Z emphasise the mathematics, ... The Way of Z breaks out of this mould to make Z relevant and accessible to all programmers. It is an ideal first or second-year book for students of computing science who want to design and write reliable programs.' Harold Thimbleby, New Scientist

'... especially good for more advanced students ... this book will be inspirational and provide practical guidance to real software engineers.' Computer Journal

Dati bibliografici

Titolo: THE WAY OF Z PRACTICAL PROGRAMMING WITH ...
Casa editrice: CAMBRIDGE UNIVERSITY PRESS
Data di pubblicazione: 1997
Legatura: Brossura
Condizione: New Books
Edizione: Edizione Internazionale