2012, ISBN: 9780470876183
Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encom… Mehr…
Orellfuessli.ch Nr. 25426825. Versandkosten:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , Versandfertig innert 6 - 9 Werktagen, zzgl. Versandkosten. (EUR 16.58) Details... |
ISBN: 9780470876183
Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encom… Mehr…
Studystore.nl |
2013, ISBN: 9780470876183
A Survey of Applications, Buch, Softcover, [PU: John Wiley & Sons Inc], John Wiley & Sons Inc, 2013
lehmanns.de Versandkosten:Versand in 10-15 Tagen. (EUR 0.00) Details... |
2013, ISBN: 9780470876183
Buch, Softcover, [PU: John Wiley & Sons Inc], John Wiley & Sons Inc, 2013
lehmanns.de Versandkosten:Versand in 10-15 Tagen. (EUR 0.00) Details... |
2012, ISBN: 9780470876183
A Survey of Applications, Softcover, Buch, [PU: John Wiley & Sons Inc]
lehmanns.de Versandkosten:Versand in 10-15 Tagen, , Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2012, ISBN: 9780470876183
Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encom… Mehr…
Gnesi, Stefania:
Formal Methods for Industrial Critical Systems - A Survey of Applications - neues BuchISBN: 9780470876183
Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encom… Mehr…
2013
ISBN: 9780470876183
A Survey of Applications, Buch, Softcover, [PU: John Wiley & Sons Inc], John Wiley & Sons Inc, 2013
2013, ISBN: 9780470876183
Buch, Softcover, [PU: John Wiley & Sons Inc], John Wiley & Sons Inc, 2013
2012, ISBN: 9780470876183
A Survey of Applications, Softcover, Buch, [PU: John Wiley & Sons Inc]
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Formal Methods for Industrial Critical Systems ? A Survey of Applications
EAN (ISBN-13): 9780470876183
ISBN (ISBN-10): 0470876182
Taschenbuch
Erscheinungsjahr: 2013
Herausgeber: John Wiley & Sons Inc
Buch in der Datenbank seit 2014-07-08T21:30:57+02:00 (Vienna)
Detailseite zuletzt geändert am 2022-10-30T12:15:20+01:00 (Vienna)
ISBN/EAN: 9780470876183
ISBN - alternative Schreibweisen:
0-470-87618-2, 978-0-470-87618-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: margaria
Daten vom Verlag:
Autor/in: Stefania Gnesi; Tiziana Margaria
Titel: Formal Methods for Industrial Critical Systems - A Survey of Applications
Verlag: John Wiley & Sons
292 Seiten
Erscheinungsjahr: 2013-03-12
Gewicht: 0,502 kg
Sprache: Englisch
81,90 € (DE)
No longer receiving updates
154mm x 233mm x 17mm
BC; Paperback; Hardcover, Softcover / Technik/Elektronik, Elektrotechnik, Nachrichtentechnik; Elektronik, Nachrichtentechnik; Informatik; Computertechnik; Regelungstechnik; Electrical & Electronics Engineering; Control Systems Technology; Softwaremetriken u. -tests; Software Measurement & Testing; Elektrotechnik u. Elektronik; Computer Science; Computer Engineering; Softwaretest; Regelungstechnik; Computertechnik; Softwaremetriken u. -tests
Making the formal methods commonly used to test complex, safety-critical control systems easier to learn and integrate into the industries where they can do the most good Formal methods are an essential step in the design process for industrial safety-critical systems. The term "formal methods" encompasses all notations having precise mathematical semantics, together with their associated analysis methods, that allow description and reasoning about the behavior of a system in a formal manner. Based on more than a decade of award-winning collaborative work within the European Research Consortium for Informatics and Mathematics, Formal Methods for Industrial Critical Systems presents mainstream formal methods currently used for designing industrial critical systems, focusing on model checking. Its tri-fold purpose is to reduce the effort required to learn formal methods, to help designers to adopt the formal methods most appropriate for their systems, and to offer a panel of state-of-the-art techniques and tools for analyzing critical systems. This powerful resource: * Balances leading-edge material, established practice, and reviews of historically important contributions * Collects timely, current articles written by a truly international group of authors * Describes case studies from many kinds of high-integrity systems development * Emphasizes model checking, an important step in several types of formal methods Formal Methods for Industrial Critical Systems is an ideal guide for students in advanced-undergraduate computer science courses and an excellent reference for industry professionals.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783030002442 Formal Methods for Industrial Critical Systems (Falk Howar; JiÅ?Ã Barnat)
- 9783030002442 Formal Methods for Industrial Critical Systems (Falk Howar; JiÅ?Ã Barnat)
- 9783030002435 Formal Methods for Industrial Critical Systems (Falk Howar; Ji?í Barnat)
- 9783030270070 Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings (Herausgegeben:Willemse, Tim Larsen, Kim Guldstrand)
- 9781118459867 Formal Methods for Industrial Critical Systems (Stefania Gnesi#Tiziana Margaria)
- 9781118459874 Formal Methods for Industrial Critical Systems (Stefania Gnesi/ Tiziana Margaria)
< zum Archiv...