Bestellen Terug

Hoofdkenmerken

Auteur:	Abrial, Jean-Raymond
Titel:	Modeling in Event-B System and Software Engineering
Uitgever:	Cambridge University Press
ISBN:	9780521895569
ISBN boekversie:	9781139637794
Land van oorsprong:	United Kingdom
Prijs:	€ 184.15
Verschijningsdatum:	13-05-2010
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Categorie:	Systems analysis & design
Geillustreerd:	Worked examples or Exercises; 10 Halftones, black and white; 160 Line drawings, black and white
Dewey code:	004.0151

Technische kenmerken

Verschijningsvorm:	Hardback
Paginas:	612
Hoogte mm.:	251
Breedte mm.:	192
Dikte mm.:	37
Gewicht gr.:	1318

 

Inhoud:

A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. Contains a wide variety of examples and exercises ranging in difficulty to suit readers at all levels.