Formal Methods, Informally: How to Write Programs That Work - Morgan, Carroll (University of New South Wales, Sydney) - Libros - Cambridge University Press - 9781009421027 - 19 de febrero de 2026
En caso de que portada y título no coincidan, el título será el correcto

Morgan, Carroll (University of New South Wales, Sydney)
Formal Methods, Informally: How to Write Programs That Work

Precio
Mex$ 1.004
sin IVA

Pedido desde almacén remoto

Entrega prevista 5 - 16 de nov.
Los regalos de Navidad se podrán canjear hasta el 31 de enero
Recibe notificaciones sobre nuevos lanzamientos de Morgan, Carroll (University of New South Wales, Sydney)

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

Aún no valorado

Both beginning- and experienced programmers can improve the quality of their programming with this informal textbook. The author draws on decades of teaching and industrial experience to explain how to write correct, concise programs - without formal logic. Examples focus on small, understandable programs; and over 200 exercises are included.

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 19 de febrero de 2026
ISBN13 9781009421027
Editores Cambridge University Press
Páginas 374
Dimensiones 172 × 243 × 23 mm   ·   710 g
Lengua Inglés  

Más del mismo editor

Ver todo de Morgan, Carroll (University of New South Wales, Sydney)