VU Boekhandel

Formal Object Oriented Specification Using Object-Z

Hoofdkenmerken

Auteur:	Duke, Roger; Rose, Gordon
Titel:	Formal Object Oriented Specification Using Object-Z
Uitgever:	Palgrave Macmillan
ISBN:	9780333801239
Serie:	Cornerstones of Computing
Land van oorsprong:	United Kingdom
Prijs:	€ 91.83
Verschijningsdatum:	06-06-2000
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Leesniveau:	Undergraduate
Categorie:	Programming & scripting languages: general
Geillustreerd:	240 p.

Technische kenmerken

Verschijningsvorm:	Paperback / softback
Paginas:	240
Hoogte mm.:	246
Breedte mm.:	189

Inhoud:

It includes numerous and varied case studies to illustrate the techniques and language of object-oriented formal specification and illustrates the key role of formal specification in formal verification and in implementation.