Bestellen Terug

Hoofdkenmerken

Auteur:	Jones, C.B.; Jones, K.D.
Titel:	mural: A Formal Development Support System
Uitgever:	Springer-Verlag Berlin and
ISBN:	9783540196518
Editie:	Softcover reprint of the original 1st ed. 1991
Land van oorsprong:	Germany
Prijs:	€ 86,55
Verschijningsdatum:	29-05-1991
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Leesniveau:	Postgraduate, Research & Scholarly
Categorie:	Systems analysis & design
Geillustreerd:	8 Illustrations, black and white; XIII, 421 p. 8 illus.

Technische kenmerken

Verschijningsvorm:	Paperback / softback
Paginas:	421
Hoogte mm.:	242
Breedte mm.:	170
Gewicht gr.:	753

 

Inhoud:

Formal methods enable computer architecture and software design to be mathematically proved correct before they are implemented.