Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings (Lecture Notes in Computer Science, Band 10669)

New Trends and
Wo zu kaufen (3) Eigenschaften
Gesponsert
Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings (Lecture Notes in Computer Science, Band 10669)
Medimops DE
53.49 EUR
Preis aktualisiert am: 01-05-2026 20:23:19
Siehe Produktangebot
Gesponsert
Dynamic Logic. New Trends and Applications
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 01-05-2026 21:27:50
Siehe Produktangebot
Gesponsert
Dynamic Logic. New Trends and Applications, Fachbücher von Alexandre Madeira, Mário Benevides
Galaxus.de
53.49 EUR
Preis aktualisiert am: 01-05-2026 22:11:33
Siehe Produktangebot

Allgemein

Marke
Alexandre Madeira
ISBN
Alexandre Madeira 3319735780

Eigenschaften

Ähnliche Produkte

Dynamic Logic. New Trends and Applications
Dynamic Logic. New Trends and Applications
Produkt anzeigen
Dynamic Logic. New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings (Lecture Notes in Computer Science, Band 12005)
Dynamic Logic. New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings (Lecture Notes in Computer Science, Band 12005)
Produkt anzeigen
Enterprise Software Sourcing Performance: The Impact Logic of On-Demand, On-Premises, and In-House Software on Dynamic Fit and Process-Level ... in Client Organizations (Progress in IS)
Enterprise Software Sourcing Performance: The Impact Logic of On-Demand, On-Premises, and In-House Software on Dynamic Fit and Process-Level ... in Client Organizations (Progress in IS)
Produkt anzeigen
Modeling of Dynamic Object Systems: A Logic-Based Approach (Vieweg Advanced Studies Of Computer Science) (Vieweg Advanced Studies in Computer Science)
Modeling of Dynamic Object Systems: A Logic-Based Approach (Vieweg Advanced Studies Of Computer Science) (Vieweg Advanced Studies in Computer Science)
Produkt anzeigen
Topics in Subset Space Logic
Topics in Subset Space Logic
Produkt anzeigen
Deductive verification of object-oriented software : dynamic frames dynamic logic and predicate abstraction
Deductive verification of object-oriented software : dynamic frames dynamic logic and predicate abstraction
Produkt anzeigen
Menü