Artículos relacionados a Logic of Programs: Workshop, ETH Z??rich, May-July...
Logic of Programs: Workshop, ETH Z??rich, May-July 1979: 125 (Lecture Notes in Computer Science, 125) - Tapa blanda
Sinopsis
On the duality of dynamic algebras and kripke models.- The deducibility problem in propositional dynamic logic.- PAL - Propositional algorithmic logic.- Propositional dynamic logics of programs: A survey.- On the algorithmic theory of dictionaries.- On the algorithmic properties of concurrent programs.- A survey of the logic of effective definitions.
"Sinopsis" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Logic of Programs: Workshop, ETH Z??rich, May-July...
Imagen de archivo
Logic of Programs : Workshop, ETH ZA14rich, May-July 1979
Impresión bajo demandaLibrería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PF. Condición: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Nº de ref. del artículo: 6666-IUK-9783540111603
Comprar nuevo
EUR 58,93
Envío por EUR 5,98
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 20 disponibles
Imagen de archivo
Logic of Programs : Workshop, Eth Zürich, May-july 1979
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 5908142
Comprar usado
EUR 63,57
Envío por EUR 2,35
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen de archivo
Logic of Programs : Workshop, Eth Zürich, May-july 1979
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 5908142-n
Comprar nuevo
EUR 64,02
Envío por EUR 2,35
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen del vendedor
Logic of Programs
Publicado por
Springer Berlin Heidelberg Nov 1981, 1981
ISBN 10: 3540111603
ISBN 13: 9783540111603
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -On the duality of dynamic algebras and kripke models.- The deducibility problem in propositional dynamic logic.- PAL ¿ Propositional algorithmic logic.- Propositional dynamic logics of programs: A survey.- On the algorithmic theory of dictionaries.- On the algorithmic properties of concurrent programs.- A survey of the logic of effective definitions. 256 pp. Englisch. Nº de ref. del artículo: 9783540111603
Comprar nuevo
EUR 53,49
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
Logic of Programs
Librería: Books Puddle, Woodside, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 256. Nº de ref. del artículo: 263069719
Comprar nuevo
EUR 85,69
Envío por EUR 3,56
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Logic of Programs
Impresión bajo demandaLibrería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Print on Demand pp. 256 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Nº de ref. del artículo: 5859528
Comprar nuevo
EUR 85,55
Envío por EUR 7,79
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Logic of Programs
Impresión bajo demandaLibrería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. PRINT ON DEMAND pp. 256. Nº de ref. del artículo: 183069725
Comprar nuevo
EUR 86,23
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen del vendedor
Logic of Programs
Publicado por
Springer Berlin Heidelberg, 1981
ISBN 10: 3540111603
ISBN 13: 9783540111603
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 4881260
Comprar nuevo
EUR 48,37
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Logic of Programs : Workshop, ETH Zürich, May-July 1979
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - On the duality of dynamic algebras and kripke models.- The deducibility problem in propositional dynamic logic.- PAL - Propositional algorithmic logic.- Propositional dynamic logics of programs: A survey.- On the algorithmic theory of dictionaries.- On the algorithmic properties of concurrent programs.- A survey of the logic of effective definitions. Nº de ref. del artículo: 9783540111603
Comprar nuevo
EUR 66,40
Envío por EUR 35,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Logic of Programs
Publicado por
Springer, Springer Nov 1981, 1981
ISBN 10: 3540111603
ISBN 13: 9783540111603
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -On the duality of dynamic algebras and kripke models.- The deducibility problem in propositional dynamic logic.- PAL - Propositional algorithmic logic.- Propositional dynamic logics of programs: A survey.- On the algorithmic theory of dictionaries.- On the algorithmic properties of concurrent programs.- A survey of the logic of effective definitions.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 256 pp. Englisch. Nº de ref. del artículo: 9783540111603
Comprar nuevo
EUR 53,49
Envío por EUR 60,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles