| #7846236 in Books | 2006-04-11 | Original language:English | PDF # 1 | 9.46 x1.38 x6.48l,2.75 | File type: PDF | 780 pages||||From the reviews: | |"The present volume is the second one of a trilogy on formal development of large scale systems. … Each topic is presented by means of many examples … . The end of each chapter includes several exercises that demonstrate the
The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly sound approaches with the rigor of formal, mathematics-based approaches.
This volume covers the basic principles and techniques of specifying systems and languages. It deals with modelling the semiotics (pragmatics, semantics and syntax of systems and languag...
You can specify the type of files you want, for your gadget.Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series) | Dines Bjørner. I really enjoyed this book and have already told so many people about it!
