Foto de archivo: la portada puede ser diferente
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
de Lamport, Leslie
- Usado
- Bien
- Tapa blanda
- Estado
- Bien
- ISBN 10
- 032114306X
- ISBN 13
- 9780321143068
- Librería
-
Newport Coast, California, United States
Formas de pago aceptadas
Sobre este artículo
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Reseñas
(¡Iniciar sesión or Crear una cuenta primero!)
Detalles
- Librería
- Bonita
(US)
- Inventario del vendedor #
- 032114306X.G
- Título
- Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
- Autor
- Lamport, Leslie
- Formato/Encuadernación
- Tapa blanda
- Estado del libro
- Usado - Bien
- Cantidad disponible
- 1
- ISBN 10
- 032114306X
- ISBN 13
- 9780321143068
- Editorial
- Addison-Wesley Professional
- Lugar de publicación
- Lebanon, Indiana, U.s.a
- Primera fecha de publicación de esta edición
- July 19, 2002
Términos de venta
Bonita
30 day return guarantee, with full refund including original shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.
