Vague Objects and Vague Identity: New Essays on Ontic Vagueness
(9789402401059)
Preis von (3 Angebote)104.21 EUR
Weitere Informationen
Logic/Object-Oriented Concurrent Robot Programming - Alfried Pollmann
Compare products, prices, offers and stores on Comparor to make a better informed purchase.
Gesponsert
Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
Weitere Informationen
Dieses Produkt im Comparor
KategorieDieses Produkt ist in unserem Shop in diesen Kategorien in unserem Shop katalogisiert
InternationalFinden Sie dieses Produkt in einem unserer internationalen Geschäfte
Dieses Produkt wurde in anderen Ländern nicht gefunden
FarbenVorherrschende Farben des Produkts
Bezeichner
Marke
Alfried Pollmann
ID
33462274
Separation Logic for Multithreaded Object-Oriented Languages: Full-Fledged Verification and Automatic Parallelization of Programs
LAP Lambert Academic Publishing (9783838363165) | Separation Logic for Multithreaded
Preis von (3 Angebote)66.74 EUR
Weitere Informationen
Modeling of Dynamic Object Systems: A Logic-Based Approach
(9783528053864 / black & white illustrations, bibliograph) | Modeling of Dynamic
Preis von (2 Angebote)54.99 EUR
Weitere Informationen
The Logic of Intentional Objects: A Meinongian Version of Classical Logic
(9780792348801) | The Logic of Intentional
Preis von (2 Angebote)106.99 EUR
Weitere Informationen
Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction
(9783866446236) | Deductive verification of object-oriented
Preis von (1 Angebote)32.50 EUR
Weitere Informationen