This is an excellent introduction to formal methods which will bring anyone who needs to know about this important topic up to speed. It is comprehensive, giving the reader all the information needed to explore the field of formal methods in more detail. It offers: a guide to the mathematics required; comprehensive but easy-to-understand introductions to various methods; a run-down of how formal methods can help to develop high-quality systems that come in on time, within budget, and according to requirements.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Vendeur : BooksRun, Philadelphia, PA, Etats-Unis
Paperback. Etat : Fair. The item might be beaten up but readable. May contain markings or highlighting, as well as stains, bent corners, or any other major defect, but the text is not obscured in any way. Softcover reprint of the original 1st ed. 2003. N° de réf. du vendeur 1852332476-7-1-13
Quantité disponible : 1 disponible(s)
Vendeur : PsychoBabel & Skoob Books, Didcot, Royaume-Uni
Paperback. Etat : Very Good. Paperback in very good condition. Cover corners are slightly bumped and rubbed. Covers are clean, binding is sound and pages are clear. LW. Used. N° de réf. du vendeur 611796
Quantité disponible : 1 disponible(s)
Vendeur : BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Allemagne
Etat : gut. 2002. Understanding Formal Methods (Facit S) In englischer Sprache. pages. N° de réf. du vendeur BN338091
Quantité disponible : 1 disponible(s)