Bild 1 von 1
Formale Methoden für industriekritische Systeme: Ein Anwendungsüberblick von Stef-
Artikelzustand:
10 verfügbar
Versand:
Standort: Ohio, USA
Lieferung:
Lieferung zwischen Di, 18. Jun und Mo, 24. Jun nach 43230 bei heutigem Zahlungseingang
Rücknahmen:
Zahlungen:
Sicher einkaufen
Angaben zum Verkäufer
- 98,3% positive Bewertungen
Angemeldet als gewerblicher Verkäufer
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:386868089374
Artikelmerkmale
- Artikelzustand
- ISBN-13
- 9780470876183
- Book Title
- Formal Methods for Industrial Critical Systems
- ISBN
- 9780470876183
- Publication Year
- 2013
- Type
- Textbook
- Format
- Paperback
- Language
- English
- Publication Name
- Formal Methods for Industrial Critical Systems: a Survey of Applications
- Item Height
- 232mm
- Publisher
- John Wiley & Sons INC International Concepts
- Item Width
- 156mm
- Subject
- Engineering & Technology
- Item Weight
- 442g
- Number of Pages
- 292 Pages
Über dieses Produkt
Product Information
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 encompasses all notations having a precise mathematical semantics, together with their associated analysis methods, that allow description and reasoning about the behavior of a system in a formal manner. Growing out of more than a decade of award-winning collaborative work within the European Research Consortium for Informatics and Mathematics, Formal Methods for Industrial Critical Systems: A Survey of Applications presents a number of mainstream formal methods currently used for designing industrial critical systems, with a focus on model checking. The purpose of the book is threefold: to reduce the effort required to learn formal methods, which has been a major drawback for their industrial dissemination; to help designers to adopt the formal methods which are most appropriate for their systems; and to offer a panel of state-of-the-art techniques and tools for analyzing critical systems.
Product Identifiers
Publisher
John Wiley & Sons INC International Concepts
ISBN-13
9780470876183
eBay Product ID (ePID)
200851888
Product Key Features
Publication Name
Formal Methods for Industrial Critical Systems: a Survey of Applications
Format
Paperback
Language
English
Subject
Engineering & Technology
Publication Year
2013
Type
Textbook
Number of Pages
292 Pages
Dimensions
Item Height
232mm
Item Width
156mm
Item Weight
442g
Additional Product Features
Country/Region of Manufacture
United States
Artikelbeschreibung des Verkäufers
Rechtliche Informationen des Verkäufers
ABC Books Ltd
Unit 2D
Gatwick Gate Industrial Estate
Crawley, Lowfield Heath
London
RH11 0TG
United Kingdom
USt-IdNr.:
- GB 324767388
Handelsregisternummer:
- 05034144
Ich versichere, dass alle meine Verkaufsaktivitäten in Übereinstimmung mit allen geltenden Gesetzen und Vorschriften der EU erfolgen.
CRN-Nummer:
- 05034144
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:386868089374
Verpackung und Versand
Artikelstandort:
Ohio, USA
Versand nach:
Weltweit
Ausgeschlossen:
Barbados, Belarus, Französisch-Guayana, Französisch-Polynesien, Guadeloupe, Libyen, Martinique, Neukaledonien, Panama, Papua-Neuguinea, Russische Föderation, Réunion, Samoa (Westsamoa), Ukraine, Venezuela
Verpackung und Versand | Jeder zusätzliche Artikel | Nach | Service | Lieferung*Siehe Lieferhinweise |
---|---|---|---|---|
Kostenloser Versand | Kostenlos | USA | Standardversand (Standard Int'l Postage) | Lieferung zwischen Di, 18. Jun und Mo, 24. Jun nach 43230 |
Bearbeitungszeit |
---|
Der Verkäufer verschickt den Artikel innerhalb von 10 Werktagen nach Zahlungseingang. |
Steuern |
---|
An der Kasse fallen ggf. Steuern an. Mehr erfahrenMehr erfahren zu Steuern auf eBay-Käufe. |
Mehrwertsteuer für diesen Artikel #386868089374
Mehrwertsteuer für diesen Artikel #386868089374
Der Verkäufer berechnet Mehrwertsteuer für Artikel, die in die folgenden Bundesstaaten verschickt werden:
Bundesstaat | Steuersatz für Sales Tax |
---|
Rücknahmebedingungen
Frist | Rücksendung |
---|---|
30 Tage | Käufer zahlt Rückversand |
Der Käufer trägt die Rücksendekosten.
Rücknahmebedingungen im Detail |
---|
Rücknahme akzeptiert |
Zahlungsdaten
Zahlungsmethoden
Hinweis: Bestimmte Zahlungsmethoden werden in der Kaufabwicklung nur bei hinreichender Bonität des Käufers angeboten.
Angemeldet als gewerblicher Verkäufer
Verkäuferbewertungen (25.191)
t***b (830)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
Don't advcertise if you don't have it.
u***u (169)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
Excellent, thank you very much!
a***e (2126)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
Excellent service, good quality, many thanks
Produktbewertungen & Rezensionen
Noch mehr entdecken:
- Atlanten und Landkarten Ordnance Survey,
- Englische Atlanten und Landkarten Ordnance Survey,
- Atlanten und Landkarten Ordnance Survey Ab 2010,
- Atlanten und Landkarten Taschenbuch-Format-Ordnance-Survey,
- Shades-of-Grey-Belletristik - Bücher,
- Deutsche Bücher Shades-of-Grey-Belletristik,
- Masters of the Universe Jugendliche Hörbücher und Hörspiele,
- Masters-of-the-Universe - Europa-Editions Hörbücher und Hörspiele,
- Erwachsene Masters of the Universe Hörbücher und Hörspiele auf Deutsch,
- Robert-A. - Heinlein-Belletristik-Bücher