Annabelle Mclver,
Carroll Morgan
Programming Methodology
Gebonden Engels 2002 2003e druk 9780387953496
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
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 members, and will offer insightful and controversial opinions on modern programming methods and practice. The material is arranged in thematic sections, each one introduced by a problem which epitomizes the spirit of that topic. The exemplary problem will encourage vigorous discussion and will form the basis for an introduction/tutorial for its section.
Specificaties
ISBN13:9780387953496
Taal:Engels
Bindwijze:gebonden
Aantal pagina's:470
Uitgever:Springer New York
Druk:2003
Hoofdrubriek:Programmeren, Computer en informatica
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Inhoudsopgave
(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]
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]
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan