Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
de Leslie Lamport
- Nuevo
- Tapa blanda
- Estado
- New
- ISBN 10
- 032114306X
- ISBN 13
- 9780321143068
- Librería
-
Southport, Merseyside, United Kingdom
Formas de pago aceptadas
Sobre este artículo
Paperback / softback. New. TLA+ represents an effective methodology for visualizing and quantifying algorithmic complexity in a way that is meaningful to engineers.
Reseñas
(¡Iniciar sesión or Crear una cuenta primero!)
Detalles
- Librería
- The Saint Bookstore
(GB)
- Inventario del vendedor #
- A9780321143068
- Título
- Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
- Autor
- Leslie Lamport
- Formato/Encuadernación
- Paperback / softback
- Estado del libro
- Nuevo New
- Cantidad disponible
- 1
- Encuadernación
- Tapa blanda
- 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
The Saint Bookstore
Refunds or Returns: A full refund of the price paid will be given if returned within 30 days in undamaged condition. If the product is faulty, we may send a replacement.
Sobre el vendedor
The Saint Bookstore
Miembro de Biblio desde 2018
Southport, Merseyside
Sobre The Saint Bookstore
The Saint Bookstore specialises in hard to find titles & also offers delivery worldwide for reasonable rates.
Glosario
Algunos términos que podrían usarse en esta descripción incluyen:
- New
- A new book is a book previously not circulated to a buyer. Although a new book is typically free of any faults or defects, "new"...
