Wiley-VCH - Boulanger, Jean-Louis (ed.) - Industrial Use of Formal Methods

Shopping cart

	Books \| Industrial Engineering \| General & Introductory Industrial Engineering \| Industrial Use of Formal Methods

Browse our products:

	Just published
	Productsearch
	Featured sites

Choose your area of interest:

	Resources for:
	Authors
	Librarians
	Booksellers
	Journalists
	Advertisers
	Business Customers
	Lecturers
	Licenses

ChemistryViews

MaterialsViews

wileyPLUS

WileyOnline Library

Wiley JobNetwork

Wiley STMData

Ernst & Sohn

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 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.

	Online book
	Short description
	Detailed description
	Related volumes in series

Related Books
	Mit Six Sigma zu Business Excellence Strategien, Methoden, Praxisbeispiele An Accidental Statistician The Life and Memories of George E. P. Box Statistics and Probability with Applications for Engineers and Scientists
	[more >>]

Related Journals
	GIT Sicherheit + Management Mining Report GIT Security
[more>>]

Special Offers
	Holik, Herbert (ed.) Handbook of Paper and Board 249.- Euro valid until 31 July 2013
	[more offers >>]

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