Sold Out
Book Categories |
(parts and sections listed)
Part I: Models and correctness [concurrency and interaction, logical approaches to asynchrony, systems and real time, specifying complex behavior]
Part II: Programming techniques [object orientation, type theory]
Part III: Applications and automated theories
[putting theories into practice by automation, programming circuits, security and keeping secrets]
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionProgramming Methodology
X
This Item is in Your InventoryProgramming Methodology
X
You must be logged in to review the productsX
X
X
Add Programming Methodology, Written by the members of the IFIP Working Group 2.3 (Programming Methodology) this text constitutes an exciting reference on the front-line of research activity in programming methodology. The range of subjects reflects the current interests of the membe, Programming Methodology to the inventory that you are selling on WonderClubX
X
Add Programming Methodology, Written by the members of the IFIP Working Group 2.3 (Programming Methodology) this text constitutes an exciting reference on the front-line of research activity in programming methodology. The range of subjects reflects the current interests of the membe, Programming Methodology to your collection on WonderClub |