VU Boekhandel

Hoofdkenmerken

Auteur:	Woodcock, J. C. P.; Davies
Titel:	Using Z Specification Proof Refinement
Uitgever:	Pearson Education (US)
ISBN:	9780139484728
Land van oorsprong:	United States
Prijs:	€ 101.14
Verschijningsdatum:	22-03-1996
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Leesniveau:	Professional & Vocational
Categorie:	Software Engineering

Technische kenmerken

Verschijningsvorm:	Paperback / softback
Paginas:	408
Hoogte mm.:	234
Breedte mm.:	173
Dikte mm.:	24
Gewicht gr.:	684

Inhoud:

This book covers all aspects of the Z notation, including specification, rigorous and formal proof, and refinements into code. It sets out to explain the principles and practice of formal development of programs using Z.