Understanding Formal Methods (Facit S) - Softcover

Monin, Jean-Francois

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

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2002
Sprache
Englisch
ISBN 10 
1852332476
ISBN 13 
9781852332471
Einband
Taschenbuch
Anzahl der Seiten
292
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Weitere beliebte Ausgaben desselben Titels

9781447100447: Understanding Formal Methods

Vorgestellte Ausgabe

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