Verifying Concurrent Processes Using Temporal Logic

Hailpern, B. T.

ISBN 10: 3540112057 ISBN 13: 9783540112051

Editorial: Springer 1982-03, 1982

Idioma: Ingl�s

Nuevos Condici�n: New Encuadernaci�n de tapa blanda

Guardar para m�s tarde

Vendido por Chiron Media, Wallingford, Reino Unido

Vendedor de AbeBooks desde 2 de agosto de 2010

Calificaci�n del vendedor: 4 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Nuevos - Encuadernaci�n de tapa blanda

Condici�n: New

Precio: EUR 76,77 Convertir moneda

EUR 17,32 gastos de env�o desde Reino Unido a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 10 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

N� de ref. del art�culo 6666-IUK-9783540112051

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Verifying Concurrent Processes Using Temporal Logic
Editor: Springer 1982-03
Fecha de publicaci�n: 1982
Idioma: Ingl�s
ISBN 10: 3540112057
ISBN 13: 9783540112051
Encuadernaci�n: PF
Estado: New

Acerca de

Sinopsis

es un libro, ver nuestra descripci�n completa

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

WRAP Ltd
Unit 4, 119 Loverock Rd, Reading, RG30 1DZ, United Kingdom

Condiciones de venta y env�o

Condiciones de venta

TBA

Condiciones de env�o

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

M�todos de pago

A�adir una petici�n

Art�culos relacionados a Verifying Concurrent Processes Using Temporal Logic