Formal Systems Specification

This product has been sold out

Be the first to review

Have a question?

We will let you know when in stock

notify me

Highlights

ISBN13:9783540619840
ISBN10:3540619844
Publisher:Springer
Language:English
Binding:Paperback
SUPC: SDL268880780

Description

Learn More about the Book

The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. As a realistic example typical for operating systems and hardware design, the RPC-memory problem was used as the basis for comparing various approaches to formal specification, refinement, and verification.
Preliminary solutions were discussed during a workshop at Schloss Dagstuhl, Germany, in September 1994. Then an extensive discussion took place between the referees and authors. Finally 15 thoroughly revised papers were accepted for inclusion in this volume in full detail together with the problem statement and a synopsis.

Terms & Conditions

The images represent actual product though color of the image and product may slightly differ.

Snapdeal does not select, edit, modify, alter, add or supplement the information, description and other specifications provided by the Seller.

Was this information helpful to you? Yes No

Quick links

Product Type: Computer & Internet Books Networking Books
Brand: Books
Binding: Paperback
Language: English

Sold by

New Seller

View Store

Sell on Snapdeal

%0A%3Cscript%3E%0D%0Avar+pdpTabLength+%3D+%24%28%27.detailssubbox%27%29.length%3B%0D%0A%24%28%24%28%27.detailssubbox%27%29%5BpdpTabLength-1%5D%29.append%28%27%3Cp%3ESnapdeal+does+not+select%2C+edit%2C+modify%2C+alter%2C+add+or+supplement+the+information%2C+description+and+other+specifications+provided+by+the+Seller.%3C%2Fp%3E%27%29%3B%0D%0A%0D%0Aif%28%21window.console%29%7B%0D%0Aconsole+%3D+%7B%7D+%3B%0D%0Aconsole.log+%3D+function%28%29%7B%7D%3B%0D%0Aconsole.debug+%3D+function%28%29%7B%7D%3B%0D%0A%7D%0D%0Avar+s_locality+%3D+Snapdeal.Cookie.get%28%22locality%22%29%3B%0D%0A%0D%0Avar+s_uid+%3D+Snapdeal.Cookie.get%28%22uid%22%29%3B%0D%0Aif%28Snapdeal.Cookie.get%28%27spin%27%29+%21%3D+null%29%7B%0D%0Avar+CookieZip+%3D+Snapdeal.Cookie.get%28%27spin%27%29.split%28%27-%27%29%5B0%5D%0D%0Avar+ZipSource+%3D+Snapdeal.Cookie.get%28%27spin%27%29.split%28%27-%27%29%5B1%5D%0D%0A%7D%0D%0A%3C%2Fscript%3E%0D%0A%3C%21--+SiteCatalyst+code+version%3A+H.23.4.%0D%0ACopyright+1996-2011+Adobe%2C+Inc.+All+Rights+Reserved%0D%0AMore+info+available+at+http%3A%2F%2Fwww.omniture.com+--%3E%0D%0A%3Cscript+language%3D%22JavaScript%22+type%3D%22text%2Fjavascript%22%3E%3C%21--%0D%0A%2F*+You+may+give+each+page+an+identifying+name%2C+server%2C+and+channel+on%0D%0Athe+next+lines.+*%2F%0D%0As.pageName%3D%22productPage%3Anew%22%0D%0As.channel%3D%22productPage%3Anew%22%0D%0As.products%3D%22%3B%22+%2B+jQuery%28%22%23catalogId%22%29.val%28%29%0D%0A%2F*+Conversion+Variables+*%2F%0D%0As.prop1%3D%22ProductDetail%22%0D%0As.events%3D%22prodView%2Cevent4%2C%2Cevent46%2C%22%0D%0As.eVar3+%3D+jQuery%28%27%23pdpPath%27%29.val%28%29%0D%0As.prop55%3DjQuery%28%27%23prebook%27%29.val%28%29%0D%0As.eVar33%3DjQuery%28%27%23isO2OAvailable%27%29.val%28%29%0D%0As.prop19%3DjQuery%28%27%23productPrice%27%29.val%28%29%0D%0As.eVar19%3DjQuery%28%27%23productPrice%27%29.val%28%29%3B%0D%0As.eVar38%3D%24%28%27.review_land%27%29.length%3E0+%3F+%24%28%27.review_land%27%29.html%28%29.split%28%22+%22%29%5B0%5D.trim%28%29+%3A+0%3B%0D%0As.eVar39%3DjQuery%28%27%23avgRating%27%29.val%28%29%3B%0D%0As.eVar8%3DjQuery%28%27%23buy-button-id%27%29.attr%28%27vendorCode%27%29%0D%0As.prop48%3DjQuery%28%27%23soldOut%27%29.val%28%29%0D%0Aif+%28jQuery%28%27%23inventoryUnlimited%27%29.val%28%29%3D%3D+%27true%27%29%0D%0A%7Bs.eVar18%3D%221000000%22%7D%0D%0Aelse%0D%0A%7Bs.eVar18%3DjQuery%28%27%23buyableInventory%27%29.val%28%29%7D%0D%0A%0D%0As.eVar27%3D%24%28%22%23pdpWalletCashBackOmni%22%29.val%28%29%0D%0A%0D%0Avar+a+%3D+%22%24%7BoctroiCharges%7D%22%0D%0Avar+b+%3D+jQuery%28%27%23productPrice%27%29.val%28%29%0D%0Avar+c+%3D+%22%24%7BshipFarCharges%7D%22%0D%0Aif%28a+%26%26+b%29%7B%0D%0As.eVar59%3D+a%2Fb*100%0D%0A%7D%3B%0D%0Aif%28c+%26%26+b%29%7B%0D%0As.eVar60%3D+c%2Fb*100%0D%0A%7D%3B%0D%0As.prop51%3DjQuery%28%22%23noOfImages%22%29.val%28%29%0D%0A%0D%0As.prop49%3DjQuery%28%27%23live%27%29.val%28%29%0D%0A%0D%0Avar+RID+%3D+s.getQueryParam%28%27RID%27%29%3B%0D%0Aif%28RID+%21%3D+%27%27%29+s.eVar75+%3D+RID%3B%0D%0A%0D%0Avar+MID+%3D+s.getQueryParam%28%27MID%27%29%3B%0D%0Aif%28MID+%21%3D+%27%27%29+s.eVar58+%3D+MID%3B%0D%0A%0D%0A%0D%0Aif%28Snapdeal.Cookie.get%28%27spin%27%29+%21%3D+null%29%7B%0D%0As.prop60%3D+CookieZip%2B%22%3A%22%2BZipSource+%2B+%27_%27+%2B+%27%24%7BprimaryVendor.isCodAvailable%7D%27+%2B+%27_%27+%2B+%27%24%7BprimaryVendor.isStdAvailable%7D%27%7D%0D%0A%0D%0Aif%28Snapdeal.Cookie.get%28%27vt%27%29+%21%3D+null%29+%7B%0D%0Avar+vt+%3D+Snapdeal.Cookie.get%28%27vt%27%29%3B%0D%0As.eVar64+%3D+vt%3B%0D%0A%7D%3B%0D%0Avar+SRPID+%3D+s.getQueryParam%28%27SRPID%27%29%3B%0D%0Aif%28SRPID+%21%3D+%27%27%29+s.prop47+%3D+SRPID%3B%0D%0A%0D%0Avar+u+%3D+Snapdeal.Cookie.get%28%22u%22%29%3B%0D%0Aif%28u+%21%3D+undefined+%26%26+u+%21%3D+%27%27%29+%7B%0D%0A+++++++s.prop56%3Du%0D%0A%7D%3B%0D%0Aif%28Snapdeal.Cookie.get%28%27eid%27%29+%21%3D+null%29+%7B%0D%0Avar+email1+%3D+Snapdeal.Cookie.get%28%27eid%27%29.split%28%27%22%27%29%5B1%5D%3B%0D%0As.eVar22+%3D+email1%3B%0D%0A%7D%3B%0D%0As.prop22%3Dwindow.location.href.indexOf%28%22%3FvendorCode%22%29%3E-1+%7C%7C+document.referrer.indexOf%28%27%3FvendorCode%27%29%3E-1%3B%0D%0A%0D%0Aif%28+jQuery%28%27%23deferValidate%27%29.val%28%29+%3D%3D+%27true%27%29%7B%0D%0As.prop20%3D%22pdp4_moreSeller%22%7D%0D%0A%0D%0Aif%28Snapdeal.Cookie.get%28%27sd.zone%27%29+%21%3D+null%29+%7B%0D%0Avar+sd_zone+%3D+Snapdeal.Cookie.get%28%27sd.zone%27%29%3B%0D%0As.prop50+%3D+sd_zone%3B%0D%0A%7D%3B%0D%0A%0D%0As.eVar61%3DSnapdeal.Cookie.get%28%22ceeTrack%22%29%3B%0D%0A%0D%0As.eVar34+%3D+%28jQuery%28%27%23pincode-sdd%27%29.hasClass%28%27hidden%27%29+%3F+true+%3A+false%29+%2B+%22_%22+%2B+%28jQuery%28%27%23pincode-ndd%27%29.hasClass%28%27hidden%27%29+%3F+true+%3A+false%29%3B%0D%0A%0D%0A%2F*************+DO+NOT+ALTER+ANYTHING+BELOW+THIS+LINE+%21+**************%2F%0D%0Avar+s_code%3Ds.t%28%29%3Bif%28s_code%29document.write%28s_code%29%2F%2F--%3E%3C%2Fscript%3E%0D%0A%3Cstyle%3E%0D%0A.bankPromoOffersWrapper+.row-hover.col-xs-23%7B%0D%0A+++++width%3A++91.66667%25+%21important%3B%0D%0A%7D%0D%0A.goldDelivery%3Anot%28.hidden%29+%7E+.delOp-main+%7B%0D%0A+++float%3Aleft%0D%0A%7D%0D%0A%3C%2Fstyle%3E%0D%0A%0D%0A%3Cscript%3E%0D%0Atry%7B%0D%0Aif%28Snapdeal+%26%26+Snapdeal.Cookie+%26%26+Snapdeal.Cookie.get%28%27eid%27%29.indexOf%28%27%40snapdeal.com%27%29+%3E+0+%26%26+jQuery%28%27%23pogId%27%29.val%28%29%3D%3D+%27624869886489%27%29%7B%0D%0AjQuery%28%27.pdp-main-ratings%2C+.avrg-rating%2C+.showRatingTooltip%2C+.numbr-review%27%29.addClass%28%27hidden%27%29%3B%0D%0AjQuery%28%27%23reviewsContainer%27%29.addClass%28%27hidden%27%29%3B%0D%0AjQuery%28%27%23qna_numAnswered%27%29.css%28%7B%27border-left%27%3A+%27none%27%2C+%27margin-left%27%3A%270%27%2C+%27padding-left%27%3A%270%27%7D%29%3B%0D%0A%7D%0D%0A%7Dcatch%28e%29%7B%7D%0D%0A%3C%2Fscript%3E%0D%0A%0D%0A%3Cscript%3E%0D%0Avar+hex_chr+%3D+%220123456789abcdef%22%3B%0D%0Afunction+rhex%28num%29%0D%0A%7B%0D%0A++str+%3D+%22%22%3B%0D%0A++for%28j+%3D+0%3B+j+%3C%3D+3%3B+j%2B%2B%29%0D%0A++++str+%2B%3D+hex_chr.charAt%28%28num+%3E%3E+%28j+*+8+%2B+4%29%29+%26+0x0F%29+%2B%0D%0A+++++++++++hex_chr.charAt%28%28num+%3E%3E+%28j+*+8%29%29+%26+0x0F%29%3B%0D%0A++return+str%3B%0D%0A%7D%0D%0A%0D%0Afunction+str2blks_MD5%28str%29%0D%0A%7B%0D%0A++nblk+%3D+%28%28str.length+%2B+8%29+%3E%3E+6%29+%2B+1%3B%0D%0A++blks+%3D+new+Array%28nblk+*+16%29%3B%0D%0A++for%28i+%3D+0%3B+i+%3C+nblk+*+16%3B+i%2B%2B%29+blks%5Bi%5D+%3D+0%3B%0D%0A++for%28i+%3D+0%3B+i+%3C+str.length%3B+i%2B%2B%29%0D%0A++++blks%5Bi+%3E%3E+2%5D+%7C%3D+str.charCodeAt%28i%29+%3C%3C+%28%28i+%25+4%29+*+8%29%3B%0D%0A++blks%5Bi+%3E%3E+2%5D+%7C%3D+0x80+%3C%3C+%28%28i+%25+4%29+*+8%29%3B%0D%0A++blks%5Bnblk+*+16+-+2%5D+%3D+str.length+*+8%3B%0D%0A++return+blks%3B%0D%0A%7D%0D%0A%0D%0Afunction+add%28x%2C+y%29%0D%0A%7B%0D%0A++var+lsw+%3D+%28x+%26+0xFFFF%29+%2B+%28y+%26+0xFFFF%29%3B%0D%0A++var+msw+%3D+%28x+%3E%3E+16%29+%2B+%28y+%3E%3E+16%29+%2B+%28lsw+%3E%3E+16%29%3B%0D%0A++return+%28msw+%3C%3C+16%29+%7C+%28lsw+%26+0xFFFF%29%3B%0D%0A%7D%0D%0A%0D%0Afunction+rol%28num%2C+cnt%29%0D%0A%7B%0D%0A++return+%28num+%3C%3C+cnt%29+%7C+%28num+%3E%3E%3E+%2832+-+cnt%29%29%3B%0D%0A%7D%0D%0A%0D%0Afunction+cmn%28q%2C+a%2C+b%2C+x%2C+s%2C+t%29%0D%0A%7B%0D%0A++return+add%28rol%28add%28add%28a%2C+q%29%2C+add%28x%2C+t%29%29%2C+s%29%2C+b%29%3B%0D%0A%7D%0D%0Afunction+ff%28a%2C+b%2C+c%2C+d%2C+x%2C+s%2C+t%29%0D%0A%7B%0D%0A++return+cmn%28%28b+%26+c%29+%7C+%28%28%7Eb%29+%26+d%29%2C+a%2C+b%2C+x%2C+s%2C+t%29%3B%0D%0A%7D%0D%0Afunction+gg%28a%2C+b%2C+c%2C+d%2C+x%2C+s%2C+t%29%0D%0A%7B%0D%0A++return+cmn%28%28b+%26+d%29+%7C+%28c+%26+%28%7Ed%29%29%2C+a%2C+b%2C+x%2C+s%2C+t%29%3B%0D%0A%7D%0D%0Afunction+hh%28a%2C+b%2C+c%2C+d%2C+x%2C+s%2C+t%29%0D%0A%7B%0D%0A++return+cmn%28b+%5E+c+%5E+d%2C+a%2C+b%2C+x%2C+s%2C+t%29%3B%0D%0A%7D%0D%0Afunction+ii%28a%2C+b%2C+c%2C+d%2C+x%2C+s%2C+t%29%0D%0A%7B%0D%0A++return+cmn%28c+%5E+%28b+%7C+%28%7Ed%29%29%2C+a%2C+b%2C+x%2C+s%2C+t%29%3B%0D%0A%7D%0D%0A%0D%0Afunction+calcMD5%28str%29%0D%0A%7B%0D%0A++x+%3D+str2blks_MD5%28str%29%3B%0D%0A++a+%3D++1732584193%3B%0D%0A++b+%3D+-271733879%3B%0D%0A++c+%3D+-1732584194%3B%0D%0A++d+%3D++271733878%3B%0D%0A%0D%0A++for%28i+%3D+0%3B+i+%3C+x.length%3B+i+%2B%3D+16%29%0D%0A++%7B%0D%0A++++olda+%3D+a%3B%0D%0A++++oldb+%3D+b%3B%0D%0A++++oldc+%3D+c%3B%0D%0A++++oldd+%3D+d%3B%0D%0A%0D%0A++++a+%3D+ff%28a%2C+b%2C+c%2C+d%2C+x%5Bi%2B+0%5D%2C+7+%2C+-680876936%29%3B%0D%0A++++d+%3D+ff%28d%2C+a%2C+b%2C+c%2C+x%5Bi%2B+1%5D%2C+12%2C+-389564586%29%3B%0D%0A++++c+%3D+ff%28c%2C+d%2C+a%2C+b%2C+x%5Bi%2B+2%5D%2C+17%2C++606105819%29%3B%0D%0A++++b+%3D+ff%28b%2C+c%2C+d%2C+a%2C+x%5Bi%2B+3%5D%2C+22%2C+-1044525330%29%3B%0D%0A++++a+%3D+ff%28a%2C+b%2C+c%2C+d%2C+x%5Bi%2B+4%5D%2C+7+%2C+-176418897%29%3B%0D%0A++++d+%3D+ff%28d%2C+a%2C+b%2C+c%2C+x%5Bi%2B+5%5D%2C+12%2C++1200080426%29%3B%0D%0A++++c+%3D+ff%28c%2C+d%2C+a%2C+b%2C+x%5Bi%2B+6%5D%2C+17%2C+-1473231341%29%3B%0D%0A++++b+%3D+ff%28b%2C+c%2C+d%2C+a%2C+x%5Bi%2B+7%5D%2C+22%2C+-45705983%29%3B%0D%0A++++a+%3D+ff%28a%2C+b%2C+c%2C+d%2C+x%5Bi%2B+8%5D%2C+7+%2C++1770035416%29%3B%0D%0A++++d+%3D+ff%28d%2C+a%2C+b%2C+c%2C+x%5Bi%2B+9%5D%2C+12%2C+-1958414417%29%3B%0D%0A++++c+%3D+ff%28c%2C+d%2C+a%2C+b%2C+x%5Bi%2B10%5D%2C+17%2C+-42063%29%3B%0D%0A++++b+%3D+ff%28b%2C+c%2C+d%2C+a%2C+x%5Bi%2B11%5D%2C+22%2C+-1990404162%29%3B%0D%0A++++a+%3D+ff%28a%2C+b%2C+c%2C+d%2C+x%5Bi%2B12%5D%2C+7+%2C++1804603682%29%3B%0D%0A++++d+%3D+ff%28d%2C+a%2C+b%2C+c%2C+x%5Bi%2B13%5D%2C+12%2C+-40341101%29%3B%0D%0A++++c+%3D+ff%28c%2C+d%2C+a%2C+b%2C+x%5Bi%2B14%5D%2C+17%2C+-1502002290%29%3B%0D%0A++++b+%3D+ff%28b%2C+c%2C+d%2C+a%2C+x%5Bi%2B15%5D%2C+22%2C++1236535329%29%3B++++%0D%0A%0D%0A++++a+%3D+gg%28a%2C+b%2C+c%2C+d%2C+x%5Bi%2B+1%5D%2C+5+%2C+-165796510%29%3B%0D%0A++++d+%3D+gg%28d%2C+a%2C+b%2C+c%2C+x%5Bi%2B+6%5D%2C+9+%2C+-1069501632%29%3B%0D%0A++++c+%3D+gg%28c%2C+d%2C+a%2C+b%2C+x%5Bi%2B11%5D%2C+14%2C++643717713%29%3B%0D%0A++++b+%3D+gg%28b%2C+c%2C+d%2C+a%2C+x%5Bi%2B+0%5D%2C+20%2C+-373897302%29%3B%0D%0A++++a+%3D+gg%28a%2C+b%2C+c%2C+d%2C+x%5Bi%2B+5%5D%2C+5+%2C+-701558691%29%3B%0D%0A++++d+%3D+gg%28d%2C+a%2C+b%2C+c%2C+x%5Bi%2B10%5D%2C+9+%2C++38016083%29%3B%0D%0A++++c+%3D+gg%28c%2C+d%2C+a%2C+b%2C+x%5Bi%2B15%5D%2C+14%2C+-660478335%29%3B%0D%0A++++b+%3D+gg%28b%2C+c%2C+d%2C+a%2C+x%5Bi%2B+4%5D%2C+20%2C+-405537848%29%3B%0D%0A++++a+%3D+gg%28a%2C+b%2C+c%2C+d%2C+x%5Bi%2B+9%5D%2C+5+%2C++568446438%29%3B%0D%0A++++d+%3D+gg%28d%2C+a%2C+b%2C+c%2C+x%5Bi%2B14%5D%2C+9+%2C+-1019803690%29%3B%0D%0A++++c+%3D+gg%28c%2C+d%2C+a%2C+b%2C+x%5Bi%2B+3%5D%2C+14%2C+-187363961%29%3B%0D%0A++++b+%3D+gg%28b%2C+c%2C+d%2C+a%2C+x%5Bi%2B+8%5D%2C+20%2C++1163531501%29%3B%0D%0A++++a+%3D+gg%28a%2C+b%2C+c%2C+d%2C+x%5Bi%2B13%5D%2C+5+%2C+-1444681467%29%3B%0D%0A++++d+%3D+gg%28d%2C+a%2C+b%2C+c%2C+x%5Bi%2B+2%5D%2C+9+%2C+-51403784%29%3B%0D%0A++++c+%3D+gg%28c%2C+d%2C+a%2C+b%2C+x%5Bi%2B+7%5D%2C+14%2C++1735328473%29%3B%0D%0A++++b+%3D+gg%28b%2C+c%2C+d%2C+a%2C+x%5Bi%2B12%5D%2C+20%2C+-1926607734%29%3B%0D%0A++++%0D%0A++++a+%3D+hh%28a%2C+b%2C+c%2C+d%2C+x%5Bi%2B+5%5D%2C+4+%2C+-378558%29%3B%0D%0A++++d+%3D+hh%28d%2C+a%2C+b%2C+c%2C+x%5Bi%2B+8%5D%2C+11%2C+-2022574463%29%3B%0D%0A++++c+%3D+hh%28c%2C+d%2C+a%2C+b%2C+x%5Bi%2B11%5D%2C+16%2C++1839030562%29%3B%0D%0A++++b+%3D+hh%28b%2C+c%2C+d%2C+a%2C+x%5Bi%2B14%5D%2C+23%2C+-35309556%29%3B%0D%0A++++a+%3D+hh%28a%2C+b%2C+c%2C+d%2C+x%5Bi%2B+1%5D%2C+4+%2C+-1530992060%29%3B%0D%0A++++d+%3D+hh%28d%2C+a%2C+b%2C+c%2C+x%5Bi%2B+4%5D%2C+11%2C++1272893353%29%3B%0D%0A++++c+%3D+hh%28c%2C+d%2C+a%2C+b%2C+x%5Bi%2B+7%5D%2C+16%2C+-155497632%29%3B%0D%0A++++b+%3D+hh%28b%2C+c%2C+d%2C+a%2C+x%5Bi%2B10%5D%2C+23%2C+-1094730640%29%3B%0D%0A++++a+%3D+hh%28a%2C+b%2C+c%2C+d%2C+x%5Bi%2B13%5D%2C+4+%2C++681279174%29%3B%0D%0A++++d+%3D+hh%28d%2C+a%2C+b%2C+c%2C+x%5Bi%2B+0%5D%2C+11%2C+-358537222%29%3B%0D%0A++++c+%3D+hh%28c%2C+d%2C+a%2C+b%2C+x%5Bi%2B+3%5D%2C+16%2C+-722521979%29%3B%0D%0A++++b+%3D+hh%28b%2C+c%2C+d%2C+a%2C+x%5Bi%2B+6%5D%2C+23%2C++76029189%29%3B%0D%0A++++a+%3D+hh%28a%2C+b%2C+c%2C+d%2C+x%5Bi%2B+9%5D%2C+4+%2C+-640364487%29%3B%0D%0A++++d+%3D+hh%28d%2C+a%2C+b%2C+c%2C+x%5Bi%2B12%5D%2C+11%2C+-421815835%29%3B%0D%0A++++c+%3D+hh%28c%2C+d%2C+a%2C+b%2C+x%5Bi%2B15%5D%2C+16%2C++530742520%29%3B%0D%0A++++b+%3D+hh%28b%2C+c%2C+d%2C+a%2C+x%5Bi%2B+2%5D%2C+23%2C+-995338651%29%3B%0D%0A%0D%0A++++a+%3D+ii%28a%2C+b%2C+c%2C+d%2C+x%5Bi%2B+0%5D%2C+6+%2C+-198630844%29%3B%0D%0A++++d+%3D+ii%28d%2C+a%2C+b%2C+c%2C+x%5Bi%2B+7%5D%2C+10%2C++1126891415%29%3B%0D%0A++++c+%3D+ii%28c%2C+d%2C+a%2C+b%2C+x%5Bi%2B14%5D%2C+15%2C+-1416354905%29%3B%0D%0A++++b+%3D+ii%28b%2C+c%2C+d%2C+a%2C+x%5Bi%2B+5%5D%2C+21%2C+-57434055%29%3B%0D%0A++++a+%3D+ii%28a%2C+b%2C+c%2C+d%2C+x%5Bi%2B12%5D%2C+6+%2C++1700485571%29%3B%0D%0A++++d+%3D+ii%28d%2C+a%2C+b%2C+c%2C+x%5Bi%2B+3%5D%2C+10%2C+-1894986606%29%3B%0D%0A++++c+%3D+ii%28c%2C+d%2C+a%2C+b%2C+x%5Bi%2B10%5D%2C+15%2C+-1051523%29%3B%0D%0A++++b+%3D+ii%28b%2C+c%2C+d%2C+a%2C+x%5Bi%2B+1%5D%2C+21%2C+-2054922799%29%3B%0D%0A++++a+%3D+ii%28a%2C+b%2C+c%2C+d%2C+x%5Bi%2B+8%5D%2C+6+%2C++1873313359%29%3B%0D%0A++++d+%3D+ii%28d%2C+a%2C+b%2C+c%2C+x%5Bi%2B15%5D%2C+10%2C+-30611744%29%3B%0D%0A++++c+%3D+ii%28c%2C+d%2C+a%2C+b%2C+x%5Bi%2B+6%5D%2C+15%2C+-1560198380%29%3B%0D%0A++++b+%3D+ii%28b%2C+c%2C+d%2C+a%2C+x%5Bi%2B13%5D%2C+21%2C++1309151649%29%3B%0D%0A++++a+%3D+ii%28a%2C+b%2C+c%2C+d%2C+x%5Bi%2B+4%5D%2C+6+%2C+-145523070%29%3B%0D%0A++++d+%3D+ii%28d%2C+a%2C+b%2C+c%2C+x%5Bi%2B11%5D%2C+10%2C+-1120210379%29%3B%0D%0A++++c+%3D+ii%28c%2C+d%2C+a%2C+b%2C+x%5Bi%2B+2%5D%2C+15%2C++718787259%29%3B%0D%0A++++b+%3D+ii%28b%2C+c%2C+d%2C+a%2C+x%5Bi%2B+9%5D%2C+21%2C+-343485551%29%3B%0D%0A%0D%0A++++a+%3D+add%28a%2C+olda%29%3B%0D%0A++++b+%3D+add%28b%2C+oldb%29%3B%0D%0A++++c+%3D+add%28c%2C+oldc%29%3B%0D%0A++++d+%3D+add%28d%2C+oldd%29%3B%0D%0A++%7D%0D%0A++return+rhex%28a%29+%2B+rhex%28b%29+%2B+rhex%28c%29+%2B+rhex%28d%29%3B%0D%0A%7D%0D%0A%0D%0A%3C%2Fscript%3E%0D%0A%3Cscript%3E%0D%0A%28function%28%29%7B%0D%0A++var+scriptt+%3D+document.createElement%28%27script%27%29%3B%0D%0A++scriptt.type+%3D+%27text%2Fjavascript%27%3B%0D%0A++scriptt.src+%3D+%22%2F%2Fstatic.criteo.net%2Fjs%2Fld%2Fld.js%22%3B%0D%0A++scriptt.async+%3D+%27true%27%3B%0D%0A++document.head.appendChild%28scriptt%29%3B%0D%0A%0D%0A++var+eidd+%3D+Snapdeal.Cookie.get%28%27eid%27%29%3B%0D%0A++if%28eidd%29+%7B%0D%0A++++eidd+%3D+eidd.substring%281%2C+eidd.length+-+1%29%3B%0D%0A++%7D%0D%0A++window.criteo_q+%3D+window.criteo_q+%7C%7C+%5B%5D%3B%0D%0A++window.criteo_q.push%28%0D%0A++++%7B+event%3A+%22setAccount%22%2C+account%3A+4547+%7D%2C%0D%0A++++%7B+event%3A+%22setHashedEmail%22%2C+email%3A+eidd+%3F+calcMD5%28eidd%29+%3A+%22%22+%7D%2C%0D%0A++++%7B+event%3A+%22setSiteType%22%2C+type%3A+%22d%22+%7D%2C%0D%0A++++%7B+event%3A+%22viewItem%22%2C+item%3A+jQuery%28%27%23pogId%27%29.val%28%29+%7D%0D%0A++++%29%3B%0D%0A%7D%29%28%29%3B%0D%0A%3C%2Fscript%3E%0D%0A%0D%0A%3Cscript%3E%0D%0A%28function%28%29%7B%0D%0A++try%7B%0D%0A++++var+offersDivHeight+%3D+0%3B%0D%0A++++%24%28%27.offerBlock%27%29.each%28function%28k%2Cv%29%7B%0D%0A++++++offersDivHeight+%2B%3D+%24%28this%29.height%28%29%3B%0D%0A++++%7D%29%3B%0D%0A%0D%0A++++if%28offersDivHeight+%3E+%24%28%27.offer-content%27%29.height%28%29%29%7B%0D%0A++++++%24%28%27.gradiantBlock%27%29.removeClass%28%27hidden%27%29%3B%0D%0A++++%7D%0D%0A++++else%7B%0D%0A++++++%24%28%27.gradiantBlock%27%29.addClass%28%27hidden%27%29%3B%0D%0A++++%7D%0D%0A++++setTimeout%28function%28%29%7B%0D%0A++++++%24%28%22body%22%29.append%28%27%3Cstyle+type%3D%22text%2Fcss%22%3E+.bundleQuickview.sidebarin+%7Bz-index%3A+111+%21important%3B%7D%3C%2Fstyle%3E%27%29%3B%0D%0A++++%7D%2C+500%29%3B%0D%0A++%7D%0D%0A++catch%28e%29%7B%7D%0D%0A%7D%29%28%29%3B%0D%0A%3C%2Fscript%3E%0D%0A%3Cscript%3E%0D%0Atry%7B%0D%0Aadroll_adv_id+%3D+%22Z5YQR5LLINF2VIMT44RK3W%22%3B%0D%0A++++++++adroll_pix_id+%3D+%22ABU5CCWKZRGJVLAGFWVMWY%22%3B%0D%0A++++++++%28function+%28%29+%7B%0D%0A++++++++++++var+_onload+%3D+function%28%29%7B%0D%0A++++++++++++++++if+%28document.readyState+%26%26+%21%2Floaded%7Ccomplete%2F.test%28document.readyState%29%29+%7B%0D%0A++++++++++++++++++++setTimeout%28_onload%2C+10%29%3B%0D%0A++++++++++++++++++++return%3B%0D%0A++++++++++++++++%7D%0D%0A++++++++++++++++if+%28%21window._adroll_loaded%29+%7B%0D%0A++++++++++++++++++++_adroll_loaded%3Dtrue%3B%0D%0A++++++++++++++++++++setTimeout%28_onload%2C+50%29%3B%0D%0A++++++++++++++++++++return%3B%0D%0A++++++++++++++++%7D%0D%0A++++++++++++++++var+scr+%3D+document.createElement%28%22script%22%29%3B%0D%0A++++++++++++++++var+host+%3D+%28%28%22https%3A%22+%3D%3D+document.location.protocol%29+%3F+%22https%3A%2F%2Fs.adroll.com%22+%3A+%22http%3A%2F%2Fa.adroll.com%22%29%3B%0D%0A++++++++++++++++scr.setAttribute%28%27async%27%2C+%27true%27%29%3B%0D%0A++++++++++++++++scr.type+%3D+%22text%2Fjavascript%22%3B%0D%0A++++++++++++++++scr.src+%3D+host+%2B+%22%2Fj%2Froundtrip.js%22%3B%0D%0A++++++++++++++++%28%28document.getElementsByTagName%28%27head%27%29+%7C%7C+%5Bnull%5D%29%5B0%5D+%7C%7C%0D%0A++++++++++++++++document.getElementsByTagName%28%27script%27%29%5B0%5D.parentNode%29.appendChild%28scr%29%3B%0D%0A++++++++++++%7D%3B%0D%0A++++++++++++window.setTimeout%28_onload%2C100%29%3B%0D%0A++++++++%7D%28%29%29%3B%0D%0A%0D%0A%0D%0A++++++if%28pageName+%3D%3D+%22ProductDetailPage%22%29%7B%0D%0A+++++++window.adroll_custom_data+%3D+%7B%0D%0A++++++++++%22product_id%22%3A+%24%28%22%23pogId%22%29.val%28%29+%0D%0A+++++++++%7D%0D%0A++++++%7D%0D%0A++++%7D%0D%0A++++catch%28e%29%7B%0D%0A++++++console.log%28e%29%3B%0D%0A++++%7D%0D%0A%3C%2Fscript%3E

We would like to send you awesome offers!

Remove Item/s

Remove below items from the cart

Formal Systems Specification

Exchange Discount Summary

Featured

Highlights

Description

Terms & Conditions

Quick links