Annabelle Mclver,
Carroll Morgan
Springer New York
0e druk, 2010
9781441929648
Programming Methodology
Specificaties
Paperback, 470 blz.
|
Engels
Springer New York |
0e druk, 2010
ISBN13: 9781441929648
Rubricering
Onderdeel van serie
Monographs in Computer Science
Levertijd ongeveer 8 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:9781441929648
Taal:Engels
Bindwijze:paperback
Aantal pagina's:470
Uitgever:Springer New York
Druk:0
Hoofdrubriek:Programmeren, Computer en informatica
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]