Importe total (1 artículo artículos):
Destino del pedido:
dynamic logic (340 resultados)
Comentarios
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (340)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Encuadernación
Más atributos
Idioma (4)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
First-Order Dynamic Logic
Librería: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 13,78
Convertir monedaEUR 3,21 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: As New. No Jacket. Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less 0.48.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 20,91
Usado desde EUR 16,99
Encuentre también Tapa blanda
-
Enterprise Software Sourcing Performance : The Impact Logic of On-Demand, On-Premises, and In-House Software on Dynamic Fit and Process-Level Performance Outcomes in Client Organizations
Publicado por Springer International Publishing, 2015
ISBN 10: 3319239244 ISBN 13: 9783319239248
Idioma: Inglés
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 11,70
Convertir monedaEUR 6,90 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. Außen: Buchschnitt verkürzt. | Seiten: 248 | Sprache: Englisch | Produktart: Bücher.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 65,48
Usado desde EUR 18,60
Encuentre también Tapa dura
-
Object-Orientation Axiomatised by Dynamic Logic; RWTH Aachen, Aachener Informatik-Berichte, Nr. 92-30;
Año de publicación: 1992
Idioma: Inglés
Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 6,95
Convertir monedaEUR 6,95 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHeft; Condición: Gut. 31 Seiten; Das hier angebotene Heft stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); insgesamt ordentlicher Erhaltungszustand; Sprache: Englisch Gewicht in Gramm: 60.
-
Language in Action: Categories, Lambdas and Dynamic Logic
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 22,44
Convertir monedaEUR 6,00 gastos de envío desde Francia a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Bon. Ancien livre de bibliothèque. Traces d'usure sur la couverture. Couverture légèrement déchirée. Edition 1991. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Signs of wear on the cover. Slightly torn cover. Edition 1991. Ammareal gives back up to 15% of this item's net price to charity organizations.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 114,90
Usado desde EUR 28,44
Encuentre también Tapa dura
-
Dialogues as a Dynamic Framework for Logic (Dialogues and Games of Logic)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 24,59
Convertir monedaEUR 4,76 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 28,81
Usado desde EUR 99,22
Encuentre también Tapa blanda
-
First-order dynamic logic. Lecture notes in computer science
Publicado por Springer Berlin 1979, 1979
Librería: Antiquariat Thomas & Reinhard, Recklinghausen, NRW, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 8,00
Convertir monedaEUR 17,00 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoFormat groß 8°, broschiert, größerer weißer Fleck auf dem Einband v133 Seiten, on entfernter Rückensignatur, dies ist ein regulär ausgesondertes Bibliotheksexemplar aus einer wissenschaftlichen Bibliothek, keine Markierungen / Anmerkungen. Shipping to abroad insured with tracking number.
-
Presupposition and Assertion in Dynamic Semantics: A Critical Review of Linguistic Theories of Presupposition and a Dynamic Alternative (Studies in Logic, Language and Information)
Publicado por CTR FOR STUDY OF LANG & INFO, 2001
ISBN 10: 1575861208 ISBN 13: 9781575861203
Idioma: Inglés
Librería: Studibuch, Stuttgart, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 11,73
Convertir monedaEUR 17,90 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: Gut. 250 Seiten; 9781575861203.3 Gewicht in Gramm: 1.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 67,72
Usado desde EUR 29,63
Encuentre también Tapa blanda
-
The Technique of Controversy: Principles of Dynamic Logic
Publicado por Literary Licensing, LLC, 2013
ISBN 10: 1494068168 ISBN 13: 9781494068165
Idioma: Inglés
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 33,93
Convertir monedaEUR 7,12 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 41,05
Encuentre también Tapa blanda
-
Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction
Publicado por KIT Scientific Publishing, 2011
ISBN 10: 3866446233 ISBN 13: 9783866446236
Idioma: Inglés
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 38,59
Convertir monedaEUR 4,76 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 43,35
Encuentre también Tapa blanda
-
LANGUAGE IN ACTION.: Categories, Lambdas and Dynamic Logic.
Publicado por Amsterdam: North-Holland,1995., 1995
Librería: SUBUN-SO BOOK STORE, ABAJ-ILAB, Tokyo, Japon
Miembro de asociación: ILAB
Calificación del vendedor: 4 de 5 estrellas
EUR 20,77
Convertir monedaEUR 17,81 gastos de envío desde Japon a EspañaCantidad disponible: 1 disponibles
Añadir al carritox,365pp. paperback. edge sl. spotted.
-
General Type-2 Fuzzy Logic in Dynamic Parameter Adaptation for the Harmony Search Algorithm
Librería: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 45,02
Convertir monedaEUR 2,07 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 0.31.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 64,49
Usado desde EUR 47,09
Encuentre también Tapa blanda
-
THE TECHNIQUE OF CONTROVERSY Principles of Dynamic Logic
Publicado por Kegan Paul, Trench, Trubner & Co. , Ltd., London, 1928
Librería: Complete Traveller Antiquarian Bookstore, Westport, CT, Estados Unidos de America
Miembro de asociación: IOBA SNEAB
Calificación del vendedor: 5 de 5 estrellas
EUR 14,67
Convertir monedaEUR 25,82 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Very Good+. Boards with light rubbing to extremities. ; logic and modern reasoning; 8vo; 266 pages.
-
The Problem of Plurality of Logics: Understanding the Dynamic Nature of Philosophical Logic
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 42,10
Convertir monedaEUR 4,76 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 46,86
Usado desde EUR 58,70
Encuentre también Tapa blanda
-
Dynamic Logic. New Trends and Applications : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31¿August 1, 2022, Revised Selected Papers
Publicado por Springer International Publishing, 2023
ISBN 10: 3031266218 ISBN 13: 9783031266218
Idioma: Inglés
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 39,79
Convertir monedaEUR 6,90 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Hervorragend. Zustand: Hervorragend | Seiten: 172 | Sprache: Englisch | Produktart: Bücher.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 67,35
Usado desde EUR 46,69
Encuentre también Tapa blanda
-
Dynamic Logic for an Intermediate Language : Verification, Interaction and Refinement
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 38,00
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book is about ensuring that software behaves as it is supposed to behave. More precisely, it is concerned with the deductive verification of the compliance of software implementations with their formal specification.Two successful ideas in program verification are integrated into a new approach which combines the advantages of both: Dynamic logic is brought together with verification on an intermediate verification language.Program verification combines the difficulties of two tasks in one: the difficulty of verifying algorithms and the problems of verification on implementation level. We propose a methodology to decompose this difficult task into two easier tasks using the well-established technique of refinement.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 49,00
Encuentre también Tapa blanda
-
Emotional Cognitive Neural Algorithms with Engineering Applications : Dynamic Logic: From Vague to Crisp
Publicado por Springer Berlin Heidelberg, 2011
ISBN 10: 3642228291 ISBN 13: 9783642228292
Idioma: Inglés
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 43,21
Convertir monedaEUR 6,90 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Sehr gut. Zustand: Sehr gut - Neubindung, Buchschnitt leicht verkürzt, Buchecken und -kanten leicht angestoßen, Ausgabe 2011 | Seiten: 208 | Sprache: Englisch | Produktart: Bücher.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 172,48
Usado desde EUR 50,11
Encuentre también Tapa dura
-
Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15?16, 2023, Revised Selected Papers (Lecture Notes in Computer Science, Band 14401)
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 44,07
Convertir monedaEUR 6,90 gastos de envío desde Alemania a EspañaCantidad disponible: 2 disponibles
Añadir al carritoCondición: Hervorragend. Zustand: Hervorragend | Seiten: 152 | Sprache: Englisch | Produktart: Bücher.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 67,35
Usado desde EUR 50,97
Encuentre también Tapa blanda Original o primera edición
-
Dynamic Worlds: From the Frame Problem to Knowledge Management (Applied Logic)
Publicado por Kluwer Academic Publishers, 1999
ISBN 10: 0792355350 ISBN 13: 9780792355359
Idioma: Inglés
Librería: New Book Sale, London, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 43,11
Convertir monedaEUR 10,76 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: New. Usually Dispatched within 1-2 Business Days , Buy with confidence , excellent customer service.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 53,87
Encuentre también Tapa dura
-
Logic Theoretical and Applied. A Dynamic Introduction That Shows How to Apply Logic to Contemporary Issues and Situations
Publicado por Prentiss-Hall, Englewood, NJ, 1973
Librería: Alphaville Books, Inc., Hyattsville, MD, Estados Unidos de America
Calificación del vendedor: 2 de 5 estrellas
EUR 9,17
Convertir monedaEUR 39,77 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHard Cover. Condición: Very Good. Estado de la sobrecubierta: Good. Dj worn. Careful packing and fast, efficient shipping including delivery confirmation. International Priority Air Mail shipping available for this item.
-
Dynamic Logic. New Trends and Applications: 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 56,19
Convertir monedaEUR 4,76 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 59,95
Encuentre también Tapa blanda
-
Language in Action: Categories, Lambdas and Dynamic Logic
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 55,23
Convertir monedaEUR 6,00 gastos de envío desde Francia a EspañaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover. Condición: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Salissures sur la tranche. Pages cornées. Edition 1995. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Stains on the edge. Dog-eared pages. Edition 1995. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
The Technique of Controversy: Principles of Dynamic Logic
Publicado por Harcourt, Brace, New York, 1928
Librería: By Books Alone, Woodstock, NY, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 22,93
Convertir monedaEUR 31,57 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoOriginal Cloth. Condición: Good. No Jacket. First Edition in America. Front flyleaf removed; pencil underlining on a few pages.
-
Modeling of Dynamic Object Systems : A Logic-based Approach
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 40,99
Convertir monedaEUR 6,90 gastos de envío desde Alemania a EspañaCantidad disponible: 2 disponibles
Añadir al carritoCondición: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. Innen: Seiten eingerissen. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 252 | Produktart: Bücher.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 66,98
Usado desde EUR 47,89
Encuentre también Tapa blanda
-
Dynamic Parameter Adaptation for Meta-Heuristic Optimization Algorithms Through Type-2 Fuzzy Logic (SpringerBriefs in Computational Intelligence)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 62,59
Convertir monedaEUR 4,76 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 64,49
Usado desde EUR 67,37
Encuentre también Tapa blanda
-
Dynamic Logic. New Trends and Applications : Second International Workshop, DaLí 2019, Porto, Portugal, October 7¿11, 2019, Proceedings
Publicado por Springer International Publishing, Springer International Publishing, 2020
ISBN 10: 3030388077 ISBN 13: 9783030388072
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 64,49
Usado desde EUR 83,46
Encuentre también Tapa blanda
-
Enterprise Software Sourcing Performance : The Impact Logic of On-Demand, On-Premises, and In-House Software on Dynamic Fit and Process-Level Performance Outcomes in Client Organizations
Publicado por Springer International Publishing, Springer International Publishing, 2016
ISBN 10: 3319370871 ISBN 13: 9783319370873
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book opens the 'black box' of software sourcing by explaining how dynamic software alignment is established and how it impacts business performance outcomes. By investigating how software-sourcing modes are related to value generation in the post-implementation phase, it shows researchers and managers the impact logic of on-demand, on-premises, and in-house software on dynamic fit and process-level performance outcomes in a client organization. It describes dynamic IT alignment as the key to success in a fast-moving digital world with software-as-a-service on the rise and highlights the fact that today companies can choose between developing software in-house (make) or sourcing packaged systems in an on-premises (buy) or an on-demand (lease) mode. This book is the first to explicitly compare these sourcing arrangements with each other in terms of alignment and business performance.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 65,48
Usado desde EUR 133,97
Encuentre también Tapa blanda
-
Dynamic Logic. New Trends and Applications : First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
Publicado por Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3319735780 ISBN 13: 9783319735788
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the First International Workshop on Dynamic Logic, DALI 2017, held in Brasilia, Brazil, in September 2017. Both its theoretical relevance and practical potential make Dynamic Logic a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. The workshop is promoted by an R&D project on dynamic logics for cyber-physical systems. The 12 full papers presented in this volume were carefully reviewed and selected from 25 submissions. The workshop is based on the project DaLí - Dynamic logics for cyber-physical systems: towards contract based design.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 64,49
Usado desde EUR 83,46
Encuentre también Tapa blanda
-
Differential Evolution Algorithm with Type-2 Fuzzy Logic for Dynamic Parameter Adaptation with Application to Intelligent Control
Publicado por Springer International Publishing, 2020
ISBN 10: 3030621324 ISBN 13: 9783030621322
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book focuses on the fields of fuzzy logic, bio-inspired algorithm, especially the differential evolution algorithm and also considering the fuzzy control area. The main idea is that these two areas together can help solve various control problems and to find better results. In this book, the authors test the proposed method using five benchmark control problems. First, the water tank, temperature, mobile robot, and inverted pendulum controllers are considered. For these 4 problems, experimentation was carried out using a Type-1 fuzzy system and an Interval Type-2 system. The last control problem was the D.C. motor, for which the experiments were performed with Type-1, Interval Type-2, and Generalized Type-2 fuzzy systems. When we use fuzzy systems combined with the differential evolution algorithm, we can notice that the results obtained in each of the controllers are better and with increasing uncertainty, the results are even better. For this reason, the authors consider in this book the proposed method using fuzzy systems and the differential evolution algorithm to improve the fuzzy controllers' behavior in complex control problems.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 64,49
Usado desde EUR 83,24
Encuentre también Tapa blanda
-
Dynamic Logic. New Trends and Applications : Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9¿10, 2020, Revised Selected Papers
Publicado por Springer International Publishing, 2020
ISBN 10: 3030658392 ISBN 13: 9783030658397
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 interest in a number of scientific venues, from wide-scope software engineering conferences tomodal logic specific events. The DaLí 2020 workshop is exclusively dedicated to Dynamic logic and aims at filling this gap and creating a heterogeneous community of colleagues, from Academia to Industry, from Mathematicsto Computer Science.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 64,49
Usado desde EUR 83,82
Encuentre también Tapa blanda
-
Dynamic Logic
Librería: Anybook.com, Lincoln, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 57,12
Convertir monedaEUR 14,09 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. Clean from markings With owner's name inside cover. In good all round condition. Dust jacket in good condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1050grams, ISBN:9780262082891.
Más opciones de compra de otros vendedores en IberLibro
Usado desde EUR 71,21
Encuentre también Tapa dura
