Formal methods applied to complex systems
(eBook)
Contributors
Boulanger, Jean-Louis, editor.
Published
London, [England] ; ISTE :, 2014.
Physical Desc
1 online resource (478 pages) : illustrations.
Status
More Details
Format
eBook
Language
English
ISBN
9781119004844 (e-book)
Notes
Bibliography
Includes bibliographical references at the end of each chapters and index.
Description
Loading Description...
Also in this Series
Checking series information...
Subjects
Other Subjects
Reviews from GoodReads
Loading GoodReads Reviews.
Citations
APA Citation, 7th Edition (style guide)
Boulanger, J. (2014). Formal methods applied to complex systems . ISTE :.
Chicago / Turabian - Author Date Citation, 17th Edition (style guide)Boulanger, Jean-Louis. 2014. Formal Methods Applied to Complex Systems. ISTE.
Chicago / Turabian - Humanities (Notes and Bibliography) Citation, 17th Edition (style guide)Boulanger, Jean-Louis. Formal Methods Applied to Complex Systems ISTE, 2014.
MLA Citation, 9th Edition (style guide)Boulanger, Jean-Louis. Formal Methods Applied to Complex Systems 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
39ba0476-da2b-c921-2bc3-858718caf6ac-eng
Grouping Information
Grouped Work ID | 39ba0476-da2b-c921-2bc3-858718caf6ac-eng |
---|---|
Full title | formal methods applied to complex systems |
Author | jean louis boulanger |
Grouping Category | book |
Last Update | 2022-06-07 21:23:19PM |
Last Indexed | 2024-03-28 03:08:33AM |
Book Cover Information
Image Source | syndetics |
---|---|
First Loaded | Jan 26, 2024 |
Last Used | Jan 30, 2024 |
Marc Record
First Detected | Aug 09, 2021 12:33:16 PM |
---|---|
Last File Modification Time | Nov 22, 2021 08:49:52 AM |
MARC Record
LEADER | 02211nam a2200505 i 4500 | ||
---|---|---|---|
001 | EBC1734311 | ||
003 | MiAaPQ | ||
006 | m E | | ||
007 | cr cnu|||||||| | ||
008 | 140721t20142014enka ob 001 0 eng d | ||
020 | |z 9781848216327 | ||
020 | |a 9781119004844 (e-book) | ||
035 | |a (Sirsi) EBC1734311 | ||
035 | |a (Sirsi) EBC1734311 | ||
035 | |a (OCoLC)883891803 | ||
035 | |a (MiAaPQ)EBC1734311 | ||
035 | |a (Au-PeEL)EBL1734311 | ||
035 | |a (CaPaEBR)ebr10892220 | ||
035 | |a (CaONFJC)MIL627093 | ||
035 | |a (OCoLC)883891803 | ||
040 | |a MiAaPQ|b eng|c MiAaPQ|d MiAaPQ|e rda|e pn | ||
050 | 4 | |a TA174|b .F676 2014 | |
082 | 0 | |a 620.00420285|2 23 | |
245 | 0 | 0 | |a Formal methods applied to complex systems |h [eBook]/|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 (478 pages) :|b illustrations. | ||
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 at the end of each chapters and index. | ||
588 | |a Description based on print version record. | ||
650 | 0 | |a Computer-aided design. | |
650 | 0 | |a Computer engineering. | |
650 | 0 | |a Systems engineering. | |
655 | 4 | |a Electronic books. | |
700 | 1 | |a Boulanger, Jean-Louis,|e editor. | |
776 | 0 | 8 | |i Print version:|t Formal methods applied to complex systems.|d London, [England] ; Hoboken, New Jersey : ISTE : Wiley, c2014 |h xviii, 458 pages |k Computer engineering series.|z 9781848216327 |w 2014936487 |
797 | 2 | |a ProQuest (Firm) | |
830 | 0 | |a Computer engineering series. | |
856 | 4 | 0 | |u http://ebookcentral.proquest.com/lib/yavapai-ebooks/detail.action?docID=1734311|x Yavapai College|y Yavapai College users click here to access |
856 | 4 | 0 | |u http://ebookcentral.proquest.com/lib/prescottcollege-ebooks/detail.action?docID=1734311|x Prescott College|y Prescott College users click here to access |
856 | 4 | 0 | |u http://ebookcentral.proquest.com/lib/yln-ebooks/detail.action?docID=1734311|x Yavapai Library Network|y All other users click here to access |
945 | |a E-Book |