Login Help
	Classic Catalog   My Account

Basic Browse Power

Search:  Exact TITLETITLE KeywordAuthor (Last Name, First Name)Author KeywordSUBJECT KeywordList of SUBJECTSPerformer Name KeywordSeries TitleGENERAL Keyword(s)ISBN Exact MatchJuvenile General KeywordJuvenile Title KeywordJuvenile Subject KeywordJuvenile Author KeywordAuthor (Last Name, First Name)Bib No.       Refine Search     > You're searching: Charlotte Mecklenburg Library

Item Information   Holdings     More Content       Subjects     Railroads -- Management -- Data processing.     Formal methods (Computer science)     Application software -- Development.     Browse Catalog       by title:      Formal method [ebook...         MARC Display

Formal method [ebook] : industrial use from model to the code / edited by Jean-Louis Boulanger. London : ISTE ; Hoboken, N.J. : Wiley, 2012. Electronic resource:  https://www.nclive.org/cgi-bin/nclsm?url=https://ebookcentral.proquest.com/lib/cmlibrary-ebooks/detail.action?docID=1143602 Click to View Series:  Industrial implementation of formal methods series. Description:  xv, 357 p. : ill. Contents:  From classic languages to formal methods -- Formal method in railway, the first complex application : SAET-METEOR -- B method and B tools -- Model-based design using Simulink : modeling, code generation, verification, and validation -- Proof of global properties with the aid of the Simulink Design verifier proof tool -- SCADE : implementation and applications -- GATel : a V & V platform for scade models -- Control build. Available Copies:  0 Requests:  0   Copy/Holding information Location Collection Call No. Status   Digital Collections ebook ebook Internet

Horizon Information Portal 3.25_9382
© 2001-2013 SirsiDynix All rights reserved.