Formal methods applied to complex systems : implementation of the B method /

Saved in:
Bibliographic Details
Other Authors: Boulanger, Jean-Louis, (Editor)
Format: eBook
Language:English
Published: London, England ; Hoboken, New Jersey : iSTE : Wiley, 2014.
Series:Computer engineering series.
Subjects:
Online Access:Subscribed ebook (available only in University campus-wide network);click to view
Tags: Add Tag
No Tags, Be the first to tag this record!
LEADER 01833nam a2200409 i 4500
001 ebr10899803
003 CaPaEBR
006 m o d
007 cr cn|||||||||
008 140908t20142014enka ob 001 0 eng d
020 |z 9781848217096 
020 |a 9781119002680 (e-book) 
040 |a CaPaEBR  |b eng  |e rda  |e pn  |c CaPaEBR 
035 |a (OCoLC)887825577 
050 1 4 |a QA76.9.B22  |b .F676 2014eb 
082 0 4 |a 005.1  |2 23 
245 0 0 |a Formal methods applied to complex systems :  |b implementation of the B method /  |c edited by Jean-Louis Boulanger. 
264 1 |a London, England ;  |a Hoboken, New Jersey :  |b iSTE :  |b Wiley,  |c 2014. 
264 4 |c ©2014 
300 |a 1 online resource (512 pages) :  |b illustrations, tables. 
336 |a text  |2 rdacontent 
337 |a computer  |2 rdamedia 
338 |a online resource  |2 rdacarrier 
490 1 |a Computer Engineering Series 
504 |a Includes bibliographical references and index. 
588 |a Description based on print version record. 
590 |a Electronic reproduction. Palo Alto, Calif. : ebrary, 2015. Available via World Wide Web. Access may be limited to ebrary affiliated libraries. 
650 0 |a B method (Computer science) 
650 0 |a Formal methods (Computer science) 
655 0 |a Electronic books. 
700 1 |a Boulanger, Jean-Louis,  |e editor. 
776 0 8 |i Print version:  |t Formal methods applied to complex systems : implementation of the B method.  |d London, England ; Hoboken, New Jersey : iSTE ; Wiley, c2014   |h x, 490 pages   |k Computer engineering series.  |z 9781848217096   |w 2014939764 
797 2 |a ebrary. 
830 0 |a Computer engineering series. 
856 4 0 |u http://site.ebrary.com/lib/unicalicut/Doc?id=10899803  |z Subscribed ebook (available only in University campus-wide network);click to view 
952 |a ON  |c EBR  |y EB 
999 |c ebr10899803