Site Info
Top Contributors: 1 sheva370 18847 2 Book-share 17388 3 Dizel_ 15977 4 mr2006 13332 5 jihanova 12540 6 The Emperor 11352 7 hoangnguyenvp88 10783 8 dinhquang 10532 9 kingdai 9447 10 kiemcun 9154 11 zerocoolvn 8739 12 rosea 8285 13 burtonfly 7580 14 dixe4banh 7393 15 avelin 7363 16 hung71289 7268 17 ebooks 7238 18 poster_bd 7217 19 chinwue 6790 20 asus123 6690 21 oneagain 6685 22 vuvuzela 6317 23 hunterlucky60 6289 24 GonBi 6265 25 ceo2009 6143 26 hvnteam 6123 27 huayting 6034 28 devilreload 5895 29 resident123 5770 30 thewanderer90 5432
Articles:Today: 593 This Month: 11857 All Time: 446603
Membership: Total:1919711
- Free Download - DownArchive » E-Books » A Practical Theory of Programming (Monographs in Computer Science)
A Practical Theory of Programming (Monographs in Computer Science)
Springer | ISBN: 0387941061 | edition 1993 | PDF | 243 pages | 14,5 MB
Understanding programming and programming languages requires knowledge of the underlying theoretical model. This book explores aspects of programming that are amenable to mathematical proof. The author describes a programming theory which is much simpler and more comprehensive than the current theories to date. In the theoretical model, a specification is just a boolean expression and refinement is just an ordinary implication. The author develops a practical and broad method for writing precise specifications and designing programs whose executions probably satisfy the specifications. Beginning with preparatory material in logic, numbers, sets, lists, functions and relations, the book advances further into program theory, the heart of the book. Subsequent chapters may be selected or omitted according to course emphasis. The text will be useful to students in courses on programming methodology or verification at the advanced undergraduate or beginning graduate level, as well as for software engineers in the field. All technical terms are explained and then demonstrated in the book wherever possible. No advanced mathematical knowledge or programming language is assumed. The book contains numerous exercises and worked-out solutions for specific exercises. Transparency masters and solutions for the remaining exercises are available from the author.
- Software Configuration Management Using Vesta (Monographs in Computer Scien ...
- 6.00 Introduction To Computer Science And Programming
- Introduction to Computer Science and Programming
- Python Programming An Introduction to Computer Science
- Introduction to Computer Science and Programming by MIT 2009
Partner
Your Link Here ?
(Pagerank 4 or above)
Last Comments
E-Books → A Practical Theory of Programming (Monographs in Computer Science)
Published by: Nordickan on 1 April 2010 | 
0 | Report post
A Practical Theory of Programming (Monographs in Computer Science) is available on a new fast direct download service with over 2,210,000 Files to choose from.Download anything with more then 1000+ Kb/s downloading speed. Signup process takes just 10 sec to go. Signup today and enjoy the speed !
A Practical Theory of Programming (Monographs in Computer Science) Download Torrent. A Practical Theory of Programming (Monographs in Computer Science) Download From Megaupload, Rapidshare & Hotfile. A Practical Theory of Programming (Monographs in Computer Science) with keygen, crack, serial, dvdrip
Related News
- Dear visitor, you went to the site as unregistered user. Only registered and authorized users can leave comments. Please log in or Register, if not registered.
Comments (0)
Information
Members of Guest cannot leave comments.
Search