Formal methods applied to complex systems implementation of the B method
(eBook)

Book Cover
Average Rating
Contributors
Published
London, England ; iSTE :, 2014.
Physical Desc
1 online resource (512 pages) : illustrations, tables.
Status

More Details

Format
eBook
Language
English
ISBN
9781119002680 (e-book)

Notes

Bibliography
Includes bibliographical references and index.

Description

Loading Description...

Also in this Series

Checking series information...

More Like This

Loading more titles like this title...

Reading Recommendations & More

Reviews from GoodReads

Loading GoodReads Reviews.

Citations

APA Citation, 7th Edition (style guide)

Boulanger, J. (2014). Formal methods applied to complex systems: implementation of the B method . iSTE :.

Chicago / Turabian - Author Date Citation, 17th Edition (style guide)

Boulanger, Jean-Louis. 2014. Formal Methods Applied to Complex Systems: Implementation of the B Method. iSTE.

Chicago / Turabian - Humanities (Notes and Bibliography) Citation, 17th Edition (style guide)

Boulanger, Jean-Louis. Formal Methods Applied to Complex Systems: Implementation of the B Method iSTE, 2014.

MLA Citation, 9th Edition (style guide)

Boulanger, Jean-Louis. Formal Methods Applied to Complex Systems: Implementation of the B Method iSTE :, 2014.

Note! Citations contain only title, author, edition, publisher, and year published. Citations should be used as a guideline and should be double checked for accuracy. Citation formats are based on standards as of August 2021.

Staff View

Grouped Work ID
3f73c024-d4bb-1c02-9191-b1f1aa904e14-eng
Go To Grouped Work

Grouping Information

Grouped Work ID3f73c024-d4bb-1c02-9191-b1f1aa904e14-eng
Full titleformal methods applied to complex systems implementation of the b method
Authorjean louis boulanger
Grouping Categorybook
Last Update2022-06-07 21:23:19PM
Last Indexed2024-03-27 03:09:39AM

Book Cover Information

Image Sourcesyndetics
First LoadedJan 18, 2024
Last UsedFeb 20, 2024

Marc Record

First DetectedAug 09, 2021 12:33:29 PM
Last File Modification TimeNov 22, 2021 08:50:26 AM

MARC Record

LEADER02228nam a2200493 i 4500
001EBC1752713
003MiAaPQ
006m    E |      
007cr cnu||||||||
008140908t20142014enka    ob    001 0 eng d
020 |z 9781848217096
020 |a 9781119002680 (e-book)
035 |a (Sirsi) EBC1752713
035 |a (Sirsi) EBC1752713
035 |a (OCoLC)887825577
035 |a (MiAaPQ)EBC1752713
035 |a (Au-PeEL)EBL1752713
035 |a (CaPaEBR)ebr10899803
035 |a (CaONFJC)MIL632024
035 |a (OCoLC)885019411
040 |a MiAaPQ|b eng|c MiAaPQ|d MiAaPQ|e rda|e pn
050 4|a QA76.9.B22|b .F676 2014
0820 |a 005.1|2 23
24500|a Formal methods applied to complex systems |h [eBook]:|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
4901 |a Computer Engineering Series
504 |a Includes bibliographical references and index.
588 |a Description based on print version record.
650 0|a B method (Computer science)
650 0|a Formal methods (Computer science)
655 4|a Electronic books.
7001 |a Boulanger, Jean-Louis,|e editor.
77608|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
7972 |a ProQuest (Firm)
830 0|a Computer engineering series.
85640|u http://ebookcentral.proquest.com/lib/yavapai-ebooks/detail.action?docID=1752713|x Yavapai College|y Yavapai College users click here to access
85640|u http://ebookcentral.proquest.com/lib/prescottcollege-ebooks/detail.action?docID=1752713|x Prescott College|y Prescott College users click here to access
85640|u http://ebookcentral.proquest.com/lib/yln-ebooks/detail.action?docID=1752713|x Yavapai Library Network|y All other users click here to access
945 |a E-Book