The Way of Z: Practical Programming with Formal Methods - Brossura

Jacky, Jonathan

Brossura

ISBN 10: 0521559766 ISBN 13: 9780521559768

Casa editrice: Cambridge University Press, 1997

Riassunto

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

Su questo libro

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

Descrizione del libro

This 1997 book is a self-contained tutorial on Z for experienced programming professionals, discussing practical ways to apply formal methods in real projects and showing how to implement them in the C programming language, through case studies in safety-critical systems and other examples from computer graphics, word processing, databases, and object-oriented programming.

Dettagli dell'edizione

• Editore: Cambridge University Press
• Data di pubblicazione: 1997
• Lingua: Inglese
• ISBN 10: 0521559766
• ISBN 13: 9780521559768
• Rilegatura: Copertina flessibile
• Numero di pagine: 370
• Contatto del produttore: non disponibile
• Persona responsabile: Avery; https://www.avery.fr/; ; chemin des peupliers 27; Dardilly; Francia