A Practical Theory of Programming

599,00 DKK
+ 72,99 DKK Levering
  • product image

A Practical Theory of Programming

  • Brand: Unbranded
Sоlgt af:

A Practical Theory of Programming

  • Brand: Unbranded

599,00 DKK

På lager
+ 72,99 DKK Levering

14-dages returpolitik

Sоlgt af:

599,00 DKK

På lager
+ 72,99 DKK Levering

14-dages returpolitik

Vi accepterer følgende betalingsmetoder

Beskrivelse

A Practical Theory of Programming

1 Basic Theories. - Boolean Theory. - Number Theory. - Character Theory. - 2 Basic Data Structures. - Bunch Theory. - Set Theory. - String Theory. - List Theory. - 3 Function Theory. - Functions. - Quantifiers. - Function Fine Points. - 4 Program Theory. - Specifications. - Program Development. - Time. - Robustness. - Refinement in Place. - 5 Programming Language. - Scope. - Data Structures. - Control Structures. - Time Dependence. - Assertions. - Subprogram. - Alias. - Functional Programming. - 6 Recursive Definition. - Recursive Data Definition. - Recursive Program Definition. - Limits. - 7 Theory Design and Implementation. - Data Theories. - Program Theories. - Specification by Implementation. - 8 Concurrency. - Independent Composition. - Circuit Design. - Found Concurrency. - 9 Communication. - Implementability. - Input and Output. - Recursively Defined Communication. - Input Composition. - Reaction Controller. - Communicating Processes. - Power Series Multiplication. - 10 Exercises. - Basic Theories. - Basic Data Structures. - Function Theory. - Program Theory. - Programming Language. - Recursive Definition. - Theory Design and Implementation. - Concurrency. - Communication. - 11 Reference. - Justifications. - Sources. - Axioms and Laws. - Symbols and Names. - Precedence. Language: English
  • Brand: Unbranded
  • Kategori: Computer og internet
  • Format: Paperback
  • Forlag / Pladeselskab: Springer
  • Udgivelsesdato: 2012/09/03
  • Kunstner: Eric C.R. Hehner
  • Sprog: English
  • Antal sider: 247
  • Fruugo ID: 337890735-741550043
  • ISBN: 9781461264446

Levering og returnering

Sendt inden for 5 dage

  • STANDARD: 72,99 DKK - Levering mellem kl man. 29 december 2025–tor. 01 januar 2026

Afsendes fra Storbritannien.

Vi gør vores bedste for at sikre, at de produkter, du bestiller, leveres til dig fuldt ud og i henhold til dine specifikationer. Skulle du dog modtage en ufuldstændig ordre eller andre ting end dem, du bestilte, eller der er en anden grund til, at du ikke er tilfreds med ordren, kan du returnere ordren eller produkter inkluderet i ordren og modtage en fuld refusion for varerne. Se fuld returpolitik