Item added to cart

Free

Shipping
4% Off
ShopSpell

Theory of Program Structures Schemes, Semantics, Verification [Paperback]

$23.99     $24.99    4% Off      (Free Shipping)
100 available
  • Category: Books (Computers)
  • Author:  Greibach, Sheila A.
  • Author:  Greibach, Sheila A.
  • ISBN-10:  3540074155
  • ISBN-10:  3540074155
  • ISBN-13:  9783540074151
  • ISBN-13:  9783540074151
  • Publisher:  Springer
  • Publisher:  Springer
  • Binding:  Paperback
  • Binding:  Paperback
  • Pub Date:  01-Feb-1985
  • Pub Date:  01-Feb-1985
  • SKU:  3540074155-11-SPRI
  • SKU:  3540074155-11-SPRI
  • Item ID: 102322866
  • List Price: $24.99
  • Seller: ShopSpell
  • Ships in: 5 business days
  • Transit time: Up to 5 business days
  • Delivery by: Jul 04 to Jul 06
  • Notes: Brand New Book. Order Now.
Program schemes  basic definitions and concepts.- Program schemes  basic properties.- Structured Programs.- Correctness and program verification.- Decision problems.- Recursion schemes.- Monadic recursion schemes.Springer Book Archives
Add Review

 

 

 

 

Copyright © 2018 - 2026 ShopSpell