Formal Methods, Informally: How to Write Programs That Work - Morgan, Carroll (University of New South Wales, Sydney) - Libros - Cambridge University Press - 9781009420990 - 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
$ 190,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 1 - 14 de jul.

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

También disponible como:

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     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 19 de febrero de 2026
ISBN13 9781009420990
Editores Cambridge University Press
Páginas 374
Dimensiones 170 × 244 × 30 mm   ·   1 kg
Lengua Inglés  

Mere med samme udgiver

Ver todo de Morgan, Carroll (University of New South Wales, Sydney) ( Ej. Hardcover Book y Paperback Book )