Bild 1 von 1
Modellierung und Verifizierung von Echtzeitsystemen: Formalismen und Software-Tools von-
Artikelzustand:
10 verfügbar
Preis:
£240,99
Ca.EUR 282,95
- Sofort-KaufenModellierung und Verifizierung von Echtzeitsystemen: Formalismen und Software-Tools von
Versand:
Standort: Ohio, USA
Lieferung:
Lieferung zwischen Do, 6. Jun und Di, 11. 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.:364770671535
Artikelmerkmale
- Artikelzustand
- ISBN-13
- 9781848210134
- Book Title
- Modeling and Verification of Real-time Systems
- ISBN
- 9781848210134
- Publication Year
- 2008
- Type
- Textbook
- Format
- Hardcover
- Language
- English
- Publication Name
- Modeling and Verification of Real-Time Systems: Formalisms and Software Tools
- Item Height
- 238mm
- Publisher
- Iste LTD AND John Wiley & Sons INC International Concepts
- Item Width
- 154mm
- Subject
- Computer Science
- Item Weight
- 718g
- Number of Pages
- 448 Pages
Über dieses Produkt
Product Information
This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness. Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing. With contributions from authors who are experts in their respective fields, this will provide the reader with the state of the art in formal verification of real-time systems and an overview of available software tools.
Product Identifiers
Publisher
Iste LTD AND John Wiley & Sons INC International Concepts
ISBN-13
9781848210134
eBay Product ID (ePID)
88443863
Product Key Features
Publication Name
Modeling and Verification of Real-Time Systems: Formalisms and Software Tools
Format
Hardcover
Language
English
Subject
Computer Science
Publication Year
2008
Type
Textbook
Number of Pages
448 Pages
Dimensions
Item Height
238mm
Item Width
154mm
Item Weight
718g
Additional Product Features
Editor
Nicolas Navet, Stephan Merz
Country/Region of Manufacture
United Kingdom
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.
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:364770671535
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 Do, 6. Jun und Di, 11. 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 #364770671535
Mehrwertsteuer für diesen Artikel #364770671535
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 (24.614)
n***6 (180)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
Excellent book
r***s (638)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
As described
1***x (506)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
Item arrived in perfect condition.
Produktbewertungen & Rezensionen
Noch mehr entdecken:
- Tim-und-Struppi Hörbücher und Hörspiele,
- Tim-Mälzer-Sachbuch Bücher,
- Tim-und-Struppi Hörbücher und Hörspiele,
- Tim-O - ' - Brien-Sachbuch Bücher,
- Tim-Mälzer-Sachbuch Bücher auf Deutsch,
- Tim-Mälzer-Sachbuch Bücher übers Kochen,
- Tim-Mälzer-Kochbücher-Sachbuch Bücher übers Kochen,
- Software-Entwicklung Studium und Erwachsenenbildung,
- Shades-of-Grey-Belletristik - Bücher,
- Deutsche Bücher Shades-of-Grey-Belletristik