Decidability of Parameterized Verification

Sprache: Englisch

Verlag: Springer, Springer Sep 2015, 2015

3031008839 / 9783031008832

Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschlandbuchversandmimpf2000

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 23. Januar 2017

Artikel dieses Verkäufers ansehen
Softcover

Zustand: Neu

EUR 48,14

EUR 60,00 Versand 
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb

Artikelbeschreibung vom Verkäufer

This item is printed on demand - Print on Demand Titel. Neuware -While the classic model checking problem is to decide whether a finite system satisfies a specification, the goal of parameterized model checking is to decide, given finite systems ¿¿¿¿(n) parameterized by n ¿ ¿, whether, for all n ¿ ¿, the system ¿¿¿¿(n) satisfies a specification. In this book we consider the important case of ¿¿¿¿(n) being a concurrent system, where the number of replicated processes depends on the parameter n but each process is independent of n. Examples are cache coherence protocols, networks of finite-state agents, and systems that solve mutual exclusion or scheduling problems. Further examples are abstractions of systems, where the processes of the original systems actually depend on the parameter. The literature in this area has studied a wealth of computational models based on a variety of synchronization and communication primitives, including token passing, broadcast, and guarded transitions. Often, different terminology is used in the literature, and results are based on implicit assumptions. In this book, we introduce a computational model that unites the central synchronization and communication primitives of many models, and unveils hidden assumptions from the literature. We survey existing decidability and undecidability results, and give a systematic view of the basic problems in this exciting research area.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 172 pp. Englisch.

Bestandsnummer des Verkäufers 9783031008832

Titel
Decidability of Parameterized Verification
Autor
Roderick Bloem
Verlag
Springer, Springer Sep 2015
Veröffentlichungsjahr
2015
Zustand
Neu
Einband
Taschenbuch
Sprache
Englisch
ISBN-10
3031008839
ISBN-13
9783031008832
Artikelgewicht
334 Gramm
Abmessungen
235x191x10 mm

buchversandmimpf2000

Emtmannsberg, BAYE, Deutschland

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 23. Januar 2017

Versandkosten von Deutschland nach USA

Artikel60 bis 60 Werktage60 bis 60 Werktage
Erster ArtikelEUR 60,00EUR 75,00
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

VisaMastercardAmerican ExpressCarte BleueApple PayGoogle Pay
PayPalVorauskasse

Shop-Beschreibung

Impressum Thorsten Retsch Buchversand Mimpf2000 Oberölschnitz 16 95517 Emtmannsberg Deutschland Telefon: 09209-2023188 Email: mimpf2000@online.de USt-ID-Nr.: DE 235096871 Wir führen gebrauchte Bücher aus allen Sparten der Literatur

Spezialisierung

Modernes Antiquariat - Bücher von 1960 bis heute

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

buchversandmimpf2000

Deutschland