| #3842060 in Books | 2006-02-10 | Original language:English | PDF # 1 | 6.14 x1.56 x9.21l,2.58 | File type: PDF | 714 pages||1 of 1 people found the following review helpful.| Too many errors!|By Robert Tanniru|The amount of typos and logical errors in this book make it very hard to read. The professor basically says "just follow my lecture notes, not the book." Great, wish I knew that before I bought it.|||From the reviews: | |"The book under review is the first one from a series of three volumes that provides a compelling framework for a more comprehensive understanding of both formal and practical concerns of software engineering. The major feature distinguis
The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, engineeringly sound practice with the rigour of formal, mathematics-based approaches.
Volume 1 covers the basic principles and techniques of formal methods abstraction and modelling. First this book provides a sound, but simple basis of insight into discrete mathemati...
You easily download any file type for your gadget.Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series) | Dines Bjørner. A good, fresh read, highly recommended.
