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

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Logic of Programs
Editor: Springer Berlin Heidelberg Nov 1981
Fecha de publicaci�n: 1981
Idioma: Ingl�s
ISBN 10: 3540111603
ISBN 13: 9783540111603
Encuadernaci�n: Taschenbuch
Estado: Neu
Dimensiones: 235�mil�metros de ancho por 155 de alto por 15 de largo
Peso: 394 gramos

Descripci�n de la librer�a

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

BuchWeltWeit Ludwig Meier e.K.
Germany

Condiciones de venta y env�o

Condiciones de venta

Allgemeine Gesch�ftsbedingungen mit Kundeninformationen
Inhaltsverzeichnis
Geltungsbereich
Vertragsschluss
Widerrufsrecht
Preise und Zahlungsbedingungen
Liefer- und Versandbedingungen
Eigentumsvorbehalt
M�ngelhaftung
Anwendbares Recht
Gerichtsstand
Alternative Streitbeilegung

Geltungsbereich
1.1 Diese Allgemeinen Gesch�ftsbedingungen (nachfolgend "AGB") des BuchWeltWeit Inh. Ludwig Meier e.K. (nachfolgend "Verk�ufer"), gelten f�r alle Vertr�ge, die ein Verbraucher oder Unternehmer (nachfolgend ?...

M�s informaci�n

Derecho a cancelaci�n

Condiciones de env�o

Der Versand ins Ausland findet IMMER mit DHL statt. Auch nach �sterreich verschicken wir nur mit DHL! Daher Standardversand == Luftpost!

Tarifas de env�o de Alemania a Estados Unidos de America

Tarifas de env�o de Alemania a Estados Unidos de America
Cantidad del pedido	De 5 a 15 d�as h�biles	De 5 a 15 d�as h�biles
Primer art�culo	EUR 23.00	EUR 23.00

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.

Informaci�n detallada sobre el vendedor