Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Ein Angebot gefunden
Bester Preis: Fr. 3.32 (€ 3.39)¹ (vom 03.05.2022)Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS (2020)
ISBN: 9783030452377 bzw. 3030452379, in Englisch, Springer International Publishing, neu, E-Book, elektronischer Download.
This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems.Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020. .
Daten vom 03.05.2022 12:11h
ISBN (andere Schreibweisen): 3-030-45237-9, 978-3-030-45237-7
Zuletzt gefunden: 03.05.2022 12:11:21
Kleinster Preis: Fr. 3.32 (€ 3.39)¹ (vom 03.05.2022 12:11:16)
Höchster Preis: Fr. 3.32 (€ 3.39)¹ (vom 03.05.2022 12:11:16)
Fundstellen insgesamt: 2
Momentan keine Suchergebnisse - vielleicht bald lieferbar
Ihre Suche nach ist bei mehr als 100 angebundenen Webshops momentan nicht lieferbar. Wir finden dieses Buch aber trotzdem innerhalb weniger Wochen.
Sie Suchen nach diesem Buch:
Carna Zivkovic: Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
ISBN: 9783030452377
Speichern Sie diese Suche kostenlos in ab, dann werden Sie automatisch benachrichtigt, sobald dieses Buch verfügbar ist. Meistens finden wir dieses Buch innerhalb weniger Wochen und verständigen Sie dann per E-Mail. Sie können dann frei entscheiden, ob Sie das Buch kaufen wollen oder nicht.
Unsere Suchtipps für Ihre Suche:
- Alle Bücher des Autors.: Suche nach "Autor: zivkovic carna" liefert mehr Ergebnisse
- Suchen nach Suchbegriffen wie Autor oder Titel des Buches sind erfolgreicher als solche nach der ISBN.: Suche nach "international construction conferences zivkovic carna" liefert mehr Ergebnisse
Sie haben jetzt folgende Möglichkeiten:
- Speichern Sie diese Seite in Ihren Lesezeichen oder Favoriten ab, dann können Sie jederzeit die Suche erneut ausführen.
- Das Buch ist tatsächlich derzeit vergriffen bzw. nicht lieferbar. Es ist z.B. eine Rarität. Möglicherweise ist es aber in einiger Zeit lieferbar. Speichern Sie dazu diese Suche kostenlos ab oder lassen Sie sich kostenlos auf dieses Gerät benachrichten und Sie werden automatisch per E-Mail oder Nachricht informiert, sobald dieses Buch wieder lieferbar wird. Wir sind zuversichtlich, dass wir jedes Buch auf diese Weise innerhalb relativ kurzer Zeit finden. Probieren Sie es einfach aus!