Formal method (Record no. 154907)

MARC details
000 -LEADER
fixed length control field 01936nam a2200385 a 4500
001 - CONTROL NUMBER
control field 0000165761
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20171002063303.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS
fixed length control field m o u
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr cn|||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 120423s2012 enkad sb 001 0 eng d
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
Canceled/invalid LC control number 2012011496
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9781848213623 (hbk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9781118614389 (e-book)
035 ## - SYSTEM CONTROL NUMBER
System control number (CaPaEBR)ebr10671509
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)841167898
040 ## - CATALOGING SOURCE
Original cataloging agency CaPaEBR
Transcribing agency CaPaEBR
050 14 - LIBRARY OF CONGRESS CALL NUMBER
Classification number TF507
Item number .F66 2012eb
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 385.0285/53
Edition number 23
245 00 - TITLE STATEMENT
Title Formal method
Medium [electronic resource] :
Remainder of title industrial use from model to the code /
Statement of responsibility, etc. edited by Jean-Louis Boulanger.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. London :
Name of publisher, distributor, etc. ISTE ;
Place of publication, distribution, etc. Hoboken, N.J. :
Name of publisher, distributor, etc. Wiley,
Date of publication, distribution, etc. 2012.
300 ## - PHYSICAL DESCRIPTION
Extent xv, 357 p. :
Other physical details ill.
490 1# - SERIES STATEMENT
Series statement Industrial implementation of formal methods series
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographical references and index.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note 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.
533 ## - REPRODUCTION NOTE
Type of reproduction Electronic reproduction.
Place of reproduction Palo Alto, Calif. :
Agency responsible for reproduction ebrary,
Date of reproduction 2015.
Note about reproduction Available via World Wide Web.
-- Access may be limited to ebrary affiliated libraries.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Railroads
General subdivision Management
-- Data processing.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Formal methods (Computer science)
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Application software
General subdivision Development.
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Electronic books.
Source of term local
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Boulanger, Jean-Louis.
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element ebrary, Inc.
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Industrial implementation of formal methods series.
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="http://site.ebrary.com/lib/daystar/Doc?id=10671509">http://site.ebrary.com/lib/daystar/Doc?id=10671509</a>
Public note An electronic book accessible through the World Wide Web; click to view
908 ## - PUT COMMAND PARAMETER (RLIN)
Put command parameter 170314
942 00 - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Electronic Book

No items available.