Bültmann & Gerriets
Bücher
Stöbern
Kalender
unsere Tipps
Bestseller
Neuheiten
im Feuilleton
Themenwelten
Englische Titel
Französische Titel
Italienische Titel
Spanische Titel
aus unserer Werbung
Prämien
signierte Bücher
Gutscheine
Stöbern
Kalender
E-Books
Stöbern
% E-Book Deals %
technische Tipps
Signierte Bücher
Jura-Studium
Service
Abholung
dtv-Beck
Fachbücher
Fahrradkurier
Familienstarter
Geschäftskunden
Geschenke
Gutscheine
Kulturpass
Literatur-Abo
Literaturkarte
Schulbücher
signierte Bücher
Versand
Verträge hier kündigen
Wunschzettel
über uns
Bültmann & Gerriets
Ausbildung & Praktikum
Karriere
Engagement
Sponsoring
Umwelt
Kontakt
Apfelbaumpaten
Verification and Evaluation of Computer and Communication Systems
15th International Conference, VECoS 2021, Virtual Event, November 22-23, 2021, Revised Selected Papers
von Ayoub Nouri, Weimin Wu, Kamel Barkaoui, Zhiwu Li
Verlag: Springer International Publishing
Reihe: Lecture Notes in Computer Science Nr. 13187
E-Book / PDF
Kopierschutz: PDF mit Wasserzeichen

Hinweis: Nach dem Checkout (Kasse) wird direkt ein Link zum Download bereitgestellt. Der Link kann dann auf PC, Smartphone oder E-Book-Reader ausgeführt werden.
E-Books können per PayPal bezahlt werden. Wenn Sie E-Books per Rechnung bezahlen möchten, kontaktieren Sie uns bitte.

ISBN: 978-3-030-98850-0
Auflage: 1st ed. 2022
Erschienen am 18.03.2022
Sprache: Englisch
Umfang: 91 Seiten

Preis: 58,84 €

58,84 €
merken
zum Hardcover 58,84 €
Inhaltsverzeichnis

On Decentralized Monitoring.- Roles and Responsibilities for a Predictable Update Process - A Position Paper.- Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation.- SMT-based Unbounded Model Checking for ATL.- Handling of Operating Modes in Contract-based Timing Specifications.- Coalition formation with multiple alternatives of interdependent tasks.


andere Formate
weitere Titel der Reihe