A Practical Theory of Programming

774,00 kr
+ 97,99 kr Leverans
  • product image

A Practical Theory of Programming

  • Märke: Unbranded
Säljs av:

A Practical Theory of Programming

  • Märke: Unbranded

774,00 kr

I lager
+ 97,99 kr Leverans

14-dagars returpolicy

Säljs av:

774,00 kr

I lager
+ 97,99 kr Leverans

14-dagars returpolicy

Vi erbjuder följande betalsätt

Beskrivning

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
  • Märke: Unbranded
  • Kategori: Datorer & Internet
  • Artist: Eric C.R. Hehner
  • Format: Paperback
  • Publiceringsdatum: 2012/09/03
  • Sidantal: 247
  • Förläggare / Bolag: Springer
  • Språk: English
  • Fruugo-ID: 337890735-741550043
  • ISBN: 9781461264446

Leverans och returer

Skickas inom 5 dagar

  • STANDARD: 97,99 kr - Leverans mellan kl mån 29 december 2025–tors 01 januari 2026

Leverans från Storbritannien.

Vi gör vårt bästa för att säkerställa att produkterna du beställer levereras kompletta och enligt dina specifikationer. Om du däremot skulle ta emot en ofullständig beställning, eller andra artiklar än de du beställt, eller om det finns någon annan anledning till att du inte är nöjd med din beställning, kan du returnera beställningen, eller valfria produkter som ingår i beställningen, och få fullständig ersättning för artiklarna. Visa fullständig returpolicy