Name: Formal Methods, Informally. How to Write Programs That Work
SKU: 64803745
Price: 5361.00 TWD
Availability: InStock
Author: Carroll Morgan

Select your country

Americas

Europe

Rest of the world

portada Formal Methods, Informally. How to Write Programs That Work

Formal Methods, Informally. How to Write Programs That Work

Type

Physical Book

Publisher

Cambridge University Press

Author

Carroll Morgan

Year

2026

Pages

382

Format

Hardcover

ISBN13

9781009420990

Formal Methods, Informally. How to Write Programs That Work

Carroll Morgan (Author) · Cambridge University Press · Hardcover

New Book Imported to Taiwan

Delivery: 12 Oct - 26 Oct

NT$ 5,361

NT$ 5,361

Add to Wishlist

Synopsis "Formal Methods, Informally. How to Write Programs That Work"

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.