Importe total (1 artículo artículos):
Destino del pedido:
verifying concurrent processes using temporal de hailpern brent (3 resultados)
Comentarios
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (3)
- 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.)
Condición
- Todos los libros
- Nuevos (No hay ningún otro resultado que coincida con este filtro.)
- Antiguos o usados (3)
Encuadernación
- Todas
- Tapa dura (No hay ningún otro resultado que coincida con este filtro.)
- Tapa blanda (3)
Más atributos
- Primera edición (No hay ningún otro resultado que coincida con este filtro.)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (No hay ningún otro resultado que coincida con este filtro.)
- No impresión bajo demanda (3)
Idioma (2)
Gastos de envío gratis
- Envío gratis a España (No hay ningún otro resultado que coincida con este filtro.)
Ubicación del vendedor
Valoración de los vendedores
-
Verifying Concurrent Processes Using Temporal Logic. Lecture Notes in Computer Science N? 129
Librería: Librería La Candela, Murcia, MU, España
Calificación del vendedor: 5 de 5 estrellas
EUR 7,00
Convertir monedaEUR 1,00 gastos de envío en EspañaCantidad disponible: 1 disponibles
Añadir al carrito.- Berlín Heidelberg New York. 1982. Springer - Verlag. 4º menor. VIII- 208 pgs. Rústica editorial . Firma anterior poseedor. Muy buen estado. . . ISBN 10: 3540112057. Informática.
-
Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science)
Librería: NEPO UG, Rüsselsheim am Main, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 149,99
Convertir monedaEUR 9,00 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Gut. 208 Seiten Sofort verfügbar / Versand spätestens am nächsten Arbeitstag / Rechnung mit ausgewiesener MwSt. liegt bei / daily shipping worldwide with invoice / ex library in good condition / aus Bibliothek in guten Zustand/ Sprache: Englisch Gewicht in Gramm: 550.
-
Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science)
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 294,20
Convertir monedaEUR 28,91 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: Good. Good. book.
