Understanding Formal Methods (Facit S) - Softcover

Monin, Jean-Francois

 
9781852332471: Understanding Formal Methods (Facit S)
Softcover
ISBN 10: 1852332476 ISBN 13: 9781852332471
Publisher: Springer, 2002

Synopsis

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.

"synopsis" may belong to another edition of this title.

Product Description

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.

"About this title" may belong to another edition of this title.

Publisher
Springer
Publication date
2002
Language
English
ISBN 10 
1852332476
ISBN 13 
9781852332471
Binding
Paperback
Number of pages
292

Other Popular Editions of the Same Title

9781447100447: Understanding Formal Methods

Featured Edition

ISBN 10:  1447100441 ISBN 13:  9781447100447
Publisher: Springer, 2011
Softcover