A Practical Theory of Programming

€ 74,00
+ € 5,99 Verzending
  • product image

A Practical Theory of Programming

  • Merk: Unbranded
Verkocht door:

A Practical Theory of Programming

  • Merk: Unbranded

€ 74,00

Op voorraad
+ € 5,99 Verzending

14-dagen retourbeleid

Verkocht door:

€ 74,00

Op voorraad
+ € 5,99 Verzending

14-dagen retourbeleid

Betaalmethoden:

Beschrijving

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
  • Merk: Unbranded
  • Categorie: Computers & Internet
  • Artiest: Eric C.R. Hehner
  • Uitgever / Label: Springer
  • Formaat: Paperback
  • Aantal pagina's: 247
  • Verschijningsdatum: 2012/09/03
  • Taal: English
  • Fruugo-ID: 337890735-741550043
  • ISBN: 9781461264446

Levering & retouren

Verzonden binnen4 dagen

  • STANDARD: € 5,99 - Levering tussen ma 23 februari 2026–di 24 februari 2026

Verzending vanaf Verenigd Koninkrijk.

We doen ons best om ervoor te zorgen dat de producten die u bestelt volledig en volgens uw specificaties bij u worden afgeleverd. Mocht u echter een onvolledige bestelling ontvangen of andere artikelen dan degene die u heeft besteld, of als er een andere reden is waarom u niet tevreden bent met de bestelling, dan kunt u de bestelling retourneren, of welk product dan ook die bij de bestelling was inbegrepen, en ontvangt u een volledige terugbetaling voor de artikelen. Bekijk het volledige retourbeleid