ISBN 9781848213630,Industrial Used of Formal Method

Industrial Used of Formal Method

Rs11228

Publisher

John Wiley & Sons

Publication Year 2012
ISBN-13

ISBN 9781848213630

ISBN-10 1848213638
Binding

Hardback

Number of Pages 320 Pages
Subject

Computer programming / software development

At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the \"formal technics\" (such proof and model-checking) on industrial examples for the transportation domain.
Scroll