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.
"Sinopsis" puede pertenecer a otra edición de este libro.
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Librería: BooksRun, Philadelphia, PA, Estados Unidos de America
Paperback. Condición: 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 ref. del artículo: 1852332476-7-1-13
Cantidad disponible: 1 disponibles
Librería: Bay State Book Company, North Smithfield, RI, Estados Unidos de America
Condición: very_good. Nº de ref. del artículo: BSM.14PV8
Cantidad disponible: 1 disponibles
Librería: Greenworld Books, Arlington, TX, Estados Unidos de America
Condición: good. Fast Free Shipping â" Good condition. It may show normal signs of use, such as light writing, highlighting, or library markings, but all pages are intact and the book is fully readable. A solid, complete copy that's ready to enjoy. Nº de ref. del artículo: GWV.1852332476.G
Cantidad disponible: 1 disponibles
Librería: PsychoBabel & Skoob Books, Didcot, Reino Unido
Paperback. Condición: 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 ref. del artículo: 611796
Cantidad disponible: 1 disponibles
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Condición: New. pp. 296. Nº de ref. del artículo: 18323331
Cantidad disponible: 1 disponibles
Librería: Studibuch, Stuttgart, Alemania
paperback. Condición: Sehr gut. 292 Seiten; 9781852332471.2 Gewicht in Gramm: 1. Nº de ref. del artículo: 1114113
Cantidad disponible: 1 disponibles
Librería: Revaluation Books, Exeter, Reino Unido
Paperback. Condición: Brand New. 1st edition. 275 pages. 9.50x6.25x0.75 inches. In Stock. Nº de ref. del artículo: __1852332476
Cantidad disponible: 1 disponibles
Librería: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Alemania
Condición: gut. 2002. Understanding Formal Methods (Facit S) In deutscher Sprache. pages. Nº de ref. del artículo: BN338091
Cantidad disponible: 1 disponibles