Home    Service    Jobs    Newsletter    Company    Productsearch    eBooks    Shopping cart    Deutsch
Books | Industrial Engineering | General & Introductory Industrial Engineering | Industrial Use of Formal Methods
 

ChemistryViews

MaterialsViews

wileyPLUS

WileyOnline Library

Wiley JobNetwork

Wiley STMData

Ernst & Sohn

more >>
Boulanger, Jean-Louis (ed.)
Industrial Use of Formal Methods
Formal Verification
ISTE

1. Edition June 2012
125.- Euro
2012. 320 Pages, Hardcover
ISBN 978-1-84821-363-0 - John Wiley & Sons



Buy now

PrintePubPDFMOBI
E-Books are also available on all known E-Book shops.


Short description
This book presents the "formal techniques" (such proof and model-checking) on industrial examples for the transportation domain.

 





 

        

Tell a friend          RSS Feeds         Print-Version         Sitemap

©2013 Wiley-VCH Verlag GmbH & Co. KGaA - Provider
http://www.wiley-vch.de - mailto: info@wiley-vch.de
Data Protection