Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €
phone Kontakt phoneWie einkaufen

Dynamic Logic. New Trends and Applications

Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Dynamic Logic. New Trends and Applications Luís Soares Barbosa
Libristo-Code: 25351974
Verlag Springer Nature Switzerland AG, Januar 2020
This book constitutes the proceedings of the Second International Workshop on Dynamic Logic, DALI 20... Vollständige Beschreibung
? points 125 b
51.09 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Olio di oliva. Analisi sensoriale e percorsi didattici / Buch Broschur
common.buy 14.09 €
Top
Neon Genesis Evangelion - Perfect Edition 3 Antje Bockel / Buch Broschur
common.buy 18.00 €
Dimensionamiento del Plan de Prevención y Protección contra Incendios / Buch Broschur
common.buy 33.59 €

This book constitutes the proceedings of the Second International Workshop on Dynamic Logic, DALI 2019, held in Porto, Portugal in October 2019. The workshop was held in Porto, Portugal, on October 9, 2019, as part of the Formal Methods Week which hosted the 3rd World Congress on Formal Methods. The 12 full papers presented together with 2 short papers were carefully reviewed and selected from 26 submissions. The workshop is based on the project DaLí - Dynamic logics for cyber-physical systems: towards contract based design.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Dynamic Logic. New Trends and Applications
Autor Luís Soares Barbosa, Alexandru Baltag
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2020
Anzahl der Seiten 227
EAN 9783030388072
Libristo-Code 25351974
Verlag Springer Nature Switzerland AG
Gewicht 454
Abmessungen 155 x 235 x 14

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Growth and Development in Adulthood among Persons with Intellectual Disability Hefziba Lifshitz / Buch Broschur
common.buy 91.69 €
Poetic Sisters Deborah Kennedy / Buch Hardcover
common.buy 146.19 €
10 Health Questions About the Caucasus and Central Asia Albena Arnaudova / Buch Broschur
common.buy 50.69 €
Campaigning With Crook Charles King / Buch Broschur
common.buy 18.09 €
Carp Fishing on Valium Graham Parker / Buch Broschur
common.buy 12.09 €
Last Letter Home: Stories of War, Love and Remembrance Josh Grossberg / Buch Broschur
common.buy 11.59 €
Letters to His Son- Volume III Philip Stanhope / Buch Broschur
common.buy 15.29 €
Günstig
Institutions, Innovation, and Industrialization Avner Greif / Buch Broschur
common.buy 44.69 €
Ecology: A Very Short Introduction Jaboury Ghazoul / E-Book Adobe ePub DRM
common.buy 8.59 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?