Software Engineering 1~tqw~ darksiderg

• Torrent:
  Software Engineering 1~tqw~ darksiderg
• Change name:
  You need to register
• Category:
  Other / Books
• Change cat.:
  You need to register
• Private Client:
  Hide your personal activity while downloading torrents with TorrentPrivacy.com
• Size:
  54 MB
• Seeds/Leechs:
  2/2 Check it now
• Added:
  06/16/2008
• Last check:
  2009-08-20 09:26:48
• Tracker:
  http://www.h33t.com:3310
• Comments:
  *******************************************************************************<br /> Software Engineering 1<br /> *******************************************************************************<br /> <br /> -------------------------------------------------------------------------------<br /> General Information<br /> -------------------------------------------------------------------------------<br /> Type.................: Application<br /> Part Size............: 56,371,837 bytes<br /> <br /> <br /> <br /> <br /> -------------------------------------------------------------------------------<br /> Post Information<br /> -------------------------------------------------------------------------------<br /> Posted by............: ~tqw~<br /> <br /> -------------------------------------------------------------------------------<br /> Release Notes<br /> -------------------------------------------------------------------------------<br /> The art, craft, discipline, logic, practice and science of developing large-<br /> scale software products needs a professional base. The textbooks in this three-<br /> volume set combine informal, engineeringly sound approaches with the rigor of <br /> formal, mathematics-based approaches. This volume covers the basic principles <br /> and techniques of abstraction and modeling. First it provides a sound, simple <br /> basis of insight into discrete mathematics: numbers, sets, Cartesians, types, <br /> functions, the Lambda calculus, algebras and mathematical logic. Then it teaches <br /> its readers basic property- and model-oriented specification principles and <br /> techniques. The model-oriented concepts that are common to such specification <br /> languages as B, VDM-SL and Z are propagated here through the use of the RAISE <br /> specification language (RSL). Finally the book covers the basic principles of <br /> functional, imperative and parallel specification programming.<br /> <br /> Table Of Contents<br /> <br /> Preface VII<br /> Part I OPENING<br /> 1 Introduction 3<br /> Part II DISCRETE MATHEMATICS<br /> 2 Numbers 45<br /> 3 Sets 55<br /> 4 Cartesians 63<br /> 5 Types 71<br /> 6 Functions 87<br /> 7 Lamada-Calculus 109<br /> 8 Algebras 127<br /> 9 Mathematical Logic 141<br /> Part III SIMPLE RSL<br /> 10 Atomic Types and Values in RSL 205<br /> 11 Function Definitions in RSL 221<br /> 12 Property-Oriented and Model-Oriented Abstraction 231<br /> 13 Sets in RSL 263<br /> 14 Cartesians in RSL 295<br /> 15 Lists in RSL 321<br /> 16 Maps in RSL 349<br /> 17 Higher-Order Functions in RSL 393<br /> Part IV SPECIFICATION TYPES<br /> 18 Types in RSL 413<br /> Part V SPECIFICATION PROGRAMMING<br /> 19 Applicative Specification Programming 429<br /> 20 Imperative Specification Programming 467<br /> 21 Concurrent Specification Programming 511<br /> Part VI AND SO ON!<br /> 22 Etcetera! 557<br /> Part VII APPENDIXES<br /> A Common Exercise Topics 563<br /> B Glossary 567<br /> C Indexes 649<br /> References 687<br /> <br /> Product Details<br /> <br /> * ISBN: 3540211497<br /> * ISBN-13: 9783540211495<br /> * Format: Hardcover, 714pp<br /> * Publisher: Springer<br /> * Pub. Date: May 2007<br /> <br /> -------------------------------------------------------------------------------<br /> Install Notes<br /> -------------------------------------------------------------------------------<br /> PDF Reader
• Change comment:
  You need to register
• Alternative download:
  Software Engineering 1~tqw~ darksiderg might also be available on Usenet. Get the UseNet Client - Highspeed Access To 300TB of Videos, Games and Music!

Files

File	Size
Software Engineering 1~tqw~_darksiderg.nfo	3.2 KB
Software Engineering 1~tqw~_darksiderg.pdf	54 MB
torrent.torrent	34.3 KB
tracked_by_h33t_com.txt	0 KB

Related torrents