Predicate Calculus and Program Semantics Predicate Calculus and Program Semantics

Predicate Calculus and Program Semantics (Paperback)

By Edsger W Dijkstra , Carel S Scholten 
  • Mobikwik Supercash - Pay with Mobikwik Payments & get 15% Supercash on all puchases *T&C apply
R 7,609
Publisher: Springer
Edition: Paperback
Language: English
ISBN: 1461279240
EAN: 9781461279242
No. of Units: 1
No. of Pages: 220
Publish Date: 2011-09-26
Binding: Paperback
Sold by Ingram ( Average Ratings: Rating of 4.2 out of 5 Rating of 4.2 out of 5 Rating of 4.2 out of 5 Rating of 4.2 out of 5 Rating of 4.2 out of 5 )
Sourcing Fee: R 609

Ships in 5 - 7 Days. ( FREE Shipping in India )
Ships to India.
Check Delivery to my Area

Description

This booklet presents a reasonably self-contained theory of predicate trans former semantics. Predicate transformers were introduced by one of us (EWD) as a means for defining programming language semantics in a way that would directly support the systematic development of programs from their formal specifications. They met their original goal, but as time went on and program derivation became a more and more formal activity, their informal introduction and the fact that many of their properties had never been proved became more and more unsatisfactory. And so did the original exclusion of unbounded nondeterminacy. In 1982 we started to remedy these shortcomings. This little monograph is a result of that work. A possible -and even likely- criticism is that anyone sufficiently versed in lattice theory can easily derive all of our results himself. That criticism would be correct but somewhat beside the point. The first remark is that the average book on lattice theory is several times fatter (and probably less self contained) than this booklet. The second remark is that the predicate transformer semantics provided only one of the reasons for going through the pains of publication."
show moreless

Specification

Title: Predicate Calculus and Program Semantics
Publisher: Springer
Author: Edsger W Dijkstra , Carel S Scholten
Edition: Paperback
Language: English
ISBN: 1461279240
EAN: 9781461279242
No. of Units: 1
No. of Pages: 220
Publish Date: 2011-09-26
Binding: Paperback

Disclaimer

  • The book summary and image may be of a different edition or binding of the same title.
  • Book reviews are added by registered customers. They need not necessarily buy book.
  • These books are NOT available for reading online or for free download in PDF or ebook format.
  • Price can change due to reprinting, price change by publisher or sourcing cost change for imported books.
  • www.infibeam.com/Books is the biggest online bookstore in India for sale of books at best price - fiction, literature, audiobooks, study guides, novels, story books, rare books, textbooks and books by popular authors. These are available in various editions and bindings e.g. paperback and at best discount.
  • For the imported title, once the order gets placed ,it can’t be cancelled


Great Value

Safe Payment

Shop With
Confidence

24/7 Help Center

Free & Easy Return

Get Discounts & Offers
Stay Connected

Popular Searches on Infibeam.com

Online Shopping: Deal of The Day / Hot Deals / Best Deals / Offers

Apple iPhones: Iphone Xs Max / Iphone Xs / Iphone XR / iPhone 8 / iPhone 8 / iPhone 7 / iPhone 7 Plus / iPhone 6s / iPhone 5s

Mobile Phones:Unboxed Mobiles / Apple Mobiles / Samsung Mobiles / Micromax Mobiles / Sony Mobiles / Intex Mobiles / Latest Mobiles / Smartphones / 4G Phones / 3G Phones

Computers:Dell Laptops / Lenovo Laptops / Acer Laptops / HP Laptops / External Hard Disks / Pen Drives / Monitors / Softwares / Printers

Appliances:Air Conditioners / Air Coolers / Refrigerators / Geysers / Room Heaters / Immersion Rod / Water Purifiers / Washing Machines / Microwaves & OTG / Air Purifier

Electronics: Tablets / Cameras / Headphones / Power Bank / LED TVs / Gaming Consoles / Speakers / Tablet Accessories / Memory Cards

Men's Clothing: Shirts / T-Shirts / Tracksuits / Trousers / Ethnic Wear / Men's Denim / Cargo Shorts / Tees & Polos / Suits & Blazer

Women's Clothing: Dress Materials / Salwar Suits / Women Sarees / Kurtas & Kurtis / Leggings / Lingerie / Night Suits & Nighties / Women Shorts / Tops

Fashion:Men's Shoes / Women's Footwear / Fastrack Watches / Titan Watches / Timex Watches / Bags / Jewellery / Fastrack Sunglasses / Perfumes & Deodorants / Fashion Accessories

Books & Media:Books / New Books / Competitive Exam Books / Bank Exams / Stock Market Books / Best Selling Books / Indian Authors / New Songs / Music / Movies / Magazines

Best Ecommerce Platform:Online Store Builder / Create Online Store / Best Ecommerce Solutions / Sell Online / Ecommerce Marketing Blog

Ecommerce Website Templates:Free Website Templates / Free Logo Design / SEO Audit Report / Theme Store / Wordpress Themes / Popular Books

Copyright © 2007-2018 Infibeam.com and Affiliates
Site is up