Formal Methods: Theory and Practice - Hardcover

Scharbach, P.N.

 
9780632019311: Formal Methods: Theory and Practice
Hardcover
ISBN 10: 063201931X ISBN 13: 9780632019311
Verlag: Alfred Waller Ltd, 1989

Inhaltsangabe

This book is a self-contained exposition of formal (i. e. rigorous, mathematical) methods for the specification, analysis and verification of system design. Representative applications of these methods are given to software specification and communications standardisation. The book is aimed at practising design engineers, rather than at theoretical computer scientists.

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

Reseña del editor

This book is a self-contained exposition of formal (i. e. rigorous, mathematical) methods for the specification, analysis and verification of system design. Representative applications of these methods are given to software specification and communications standardisation. The book is aimed at practising design engineers, rather than at theoretical computer scientists.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Alfred Waller Ltd
Erscheinungsdatum
1989
Sprache
Englisch
ISBN 10 
063201931X
ISBN 13 
9780632019311
Einband
Tapa dura
Anzahl der Seiten
174
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

Weitere beliebte Ausgaben desselben Titels

9780849371400: Formal Methods: Theory and Practice

Vorgestellte Ausgabe

ISBN 10:  0849371406 ISBN 13:  9780849371400
Verlag: CRC Pr I Llc, 1989
Hardcover