Recomienda este artículo a tus amigos:
Verifying Concurrent Processes Using Temporal Logic - Lecture Notes in Computer Science B. T. Hailpern 1982 edition
Precio
€ 49,99
Pedido desde almacén remoto
Entrega prevista 8 - 16 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
Verifying Concurrent Processes Using Temporal Logic - Lecture Notes in Computer Science
B. T. Hailpern
209 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 1 de marzo de 1982 |
| ISBN13 | 9783540112051 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 209 |
| Dimensiones | 155 × 233 × 11 mm · 312 g |
| Lengua | Inglés |
Ver todo de B. T. Hailpern ( Ej. Paperback Book )