This book constitutes the proceedings of the Third International Workshop on Dynamic Logic, DaLí 2019, held in Prague, Czech Republic in October 2020. Due to COVID-19 the workshop has been held online. The 17 full papers presented together with 6 short papers were carefully reviewed and selected from 31 submissions. The theoretical relevance and practical potential of dynamic logic is a topic of

53,49 €

Taschenbuch | Neu

oder

Auf Lager

Versandbereit in 3-4 Werktagen

zzgl.

Du kannst wie immer einen Kaufalarm setzen, wenn du auf das gebrauchte Buch warten möchtest.

Auf Lager

Versandbereit in 3-4 Werktagen

zzgl.

Handgeprüfte Gebrauchtware

Bis zu 50 % günstiger als neu

21 Tage Widerrufsrecht

Produktinformationen

Technische Daten

Erscheinungsdatum

22.12.2020

Sprache

Englisch

EAN

9783030658397

Herausgeber

Springer International Publishing

Serien- oder Bandtitel

Theoretical Computer Science and General Issues

Sonderedition

Nein

Seitenanzahl

295

Auflage

1st edition 2020

Einbandart

Taschenbuch

Buch Untertitel

Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9–10, 2020, Revised Selected Papers

Schlagwörter

architecting, architecture verification and validation, artificial intelligence, computer programming, computer science, computer systems, dynamic logic, embedded systems, epistemic logic, formal languages, formal logic, linguistics, mathematics, modal logic, model checking, multiagent system, semantics, software architecture, software design, software engineering

Thema-Inhalt

UKN - Netzwerk-Hardware

Höhe

235 mm

Breite

15.5 cm

Auf gebrauchten Artikeln oder Originalverpackungen sichtbare Umwelt-, Nachhaltigkeits- oder Zertifizierungsangaben stammen aus der ursprünglichen Herstellerkennzeichnung. Sie stellen keine eigene aktuelle Umwelt- oder Nachhaltigkeitsaussage von rebuy dar. Maßgeblich für das Angebot sind ausschließlich die von rebuy in der Artikelbeschreibung angegebenen Produkteigenschaften.

Transparenz & Sicherheit

Hersteller: Springer, Europaplatz 3, Heidelberg, Deutschland, 69115, ProductSafety@springernature.com, Springer Nature Customer Service Center GmbH

Warnhinweise und Sicherheitsinformationen

Informationen nach EU Data Act

Bewertungen

-.-

Leider noch keine Bewertungen

Sicher bei rebuy kaufen

Sehr gut, 4.57/5.00

Aus 200.000+ Bewertungen

Schreib die erste Bewertung für dieses Produkt!

Wenn du eine Bewertung für dieses Produkt schreibst, hilfst du allen Kund:innen, die noch überlegen, ob sie das Produkt kaufen wollen. Vielen Dank, dass du mitmachst!

Sicher bei rebuy kaufen

Sehr gut, 4.57/5.00

Aus 200.000+ Bewertungen

Dynamic Logic. New Trends and Applications

(Taschenbuch, Englisch)

Optischer Zustand

Produktinformationen

Technische Daten

Transparenz & Sicherheit

Bewertungen

Informationen zu den Zuständen

5 € Willkommensgutschein sichern!