A Practical Theory of Programming

379,00 RON
+ 32,99 RON Livrare
  • product image

A Practical Theory of Programming

  • Marcă: Unbranded
Vândut de:

A Practical Theory of Programming

  • Marcă: Unbranded

379,00 RON

În stoc
+ 32,99 RON Livrare

Politica de retur pe 14 zile

Vândut de:

379,00 RON

În stoc
+ 32,99 RON Livrare

Politica de retur pe 14 zile

Acceptăm următoarele metode de plată

Descriere

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
  • Marcă: Unbranded
  • Categorie: Calcul și internet
  • Artist: Eric C.R. Hehner
  • Limbă: English
  • Număr de pagini: 247
  • Format: Paperback
  • Data publicării: 2012/09/03
  • Editor / Etichetă: Springer
  • ID Fruugo: 337890735-741550043
  • ISBN: 9781461264446

Livrări şi Returnări

Expediat în 5 zile

  • STANDARD: 32,99 RON - Livrare între mar. 30 decembrie 2025–vin. 02 ianuarie 2026

Livrare de la Regatul Unit.

Facem tot ce ne stă în putinţă să ne asigurăm că produsele comandate de dumneavoastră vă sunt livrate în întregime şi conform specificaţiilor. Cu toate acestea, dacă primiţi o comandă incompletă sau articole diferite de cele comandate, sau aveţi alt motiv pentru care nu sunteţi mulţumit de comandă, puteţi returna comanda sau orice produse incluse în comandă şi primiţi o rambursare completă pentru articole. Vizualizaţi întreaga politică de returnare