Um eUniverse.ch in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktiveren.

Dynamic Logic. New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portuga

69.97 CHF

Versandkostenfrei

Versandkostenfreie Lieferung!

Lieferzeit: 7-14 Werktage

Artikel-Nr.: 10397636

Beschreibung

Logic and verification.- Dynamic logics.-Modal and temporal logics.-Epistemic logics.- Program semantics.- Program reasoning Pre- and post- conditions.- Program verification.

Eigenschaften

Breite:	153
Gewicht:	371 g
Höhe:	237
Länge:	14
Seiten:	227
Sprachen:	Englisch
Autor:	Alexandru Baltag, Luís Soares Barbosa

Bewertung

Menü schließen

Bewertungen werden nach Überprüfung freigeschaltet.

Die mit einem * markierten Felder sind Pflichtfelder.

Ich habe die Datenschutzbestimmungen zur Kenntnis genommen.

Artikel vergleichen

Mindestens noch einen Artikel hinzufügen um Vergleich zu starten.

Bestseller Kategorie

Topseller

10-Finger-Tippen in 3 Stunden, m. 2 Audio-CD, m. 1 Buch: Der Ruck-Zuck-Kurs für zu Hause - in kürzes

10-Finger-Tippen in 3 Stunden, m. 2 Audio-CD,... 11.07.2014 Sofort lieferbar

36.94

PowerShell 7 und Windows PowerShell: Das komplette Praxiswissen für Administratoren und IT-Profis. F

PowerShell 7 und Windows PowerShell: Das... 14.07.2021 Sofort lieferbar

37.94

SAP-Personalwirtschaft: Praxishandbuch. Alle wichtigen HP-Funktionen Schritt für Schritt erklärt. Pr

SAP-Personalwirtschaft: Praxishandbuch. Alle... 28.12.2016

74.97

Angebote

Topseller

- 56 %

Bestron ABP604 Tischgrill Sofort lieferbar

119,44 52.69

- 56 %

ROWENTA Silence Force Animal RO7473 Sofort lieferbar

450,67 199.74

- 55 %

Moulinex Companion XL Gourmet Sofort lieferbar

1103,08 500.85

Zuletzt angesehen