Deductive Program Design
indgår i Nato ASI Series serien
indgår i Nato ASI Subseries F: serien
- Indbinding:
- Hardback
- Sideantal:
- 484
- Udgivet:
- 18. juni 1996
- Størrelse:
- 157x31x235 mm.
- Vægt:
- 848 g.
- 8-11 hverdage.
- 16. januar 2025
På lager
Normalpris
Abonnementspris
- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
Beskrivelse af Deductive Program Design
Deductive program design aims at methods that guide and support the development of programs by techniques of deduction. Deduction is a well-known subject of study in logical theories. However, the application of deductive techniques in program design needs methods, heuristics, and understanding of the required forms and formats of the development result that go far beyond those found in logical theories. The summer school presents a very broad spectrum of approaches to these issues. Edsger W. Dijkstra gives a number of beautiful examples that show how to design proofs. Samson Abramsky, Simon Gay, and Rajagopal Nagarajan contribute a fundamental study founding concurrent programming on interaction categories and foundations of type theory. Tony Hoare presents unifying views on mathematical models for computing science. Unifying theories are especially important if the whole development process of programs is to be supported by deductive techniques. The rest of the contributions address applications of deductive program design methods. They are directed to different areas of application; for example Richard Bird's and Oege de Moor's algebra of programming is mainly intended for classical functional programming, and the contribution on data refinement and their transformation by David Gries considers sequential procedural programs.
Brugerbedømmelser af Deductive Program Design
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Deductive Program Design findes i følgende kategorier:
- Business og læring > Computer og IT
- Kunst og kultur > Arkitektur og design
- Biografier, litteratur og litteraturstudier
- Teknologi, ingeniørvidenskab og landbrug > Elektronik og kommunikationsteknik > Elektronik teknik
- Databehandling og informationsteknologi > Programmering / softwareudvikling > Algoritmer og datastrukturer
- Databehandling og informationsteknologi > Informatik > Matematisk datateori
- Databehandling og informationsteknologi > Informatik > Dataarkitektur og logisk design
- Databehandling og informationsteknologi > Informatik > Kunstig intelligens
- Sundhed, relationer og personlig udvikling
© 2024 Pling BØGER Registered company number: DK43351621