{"product_id":"rapid-prototyping-in-pvs-nasa-technical-reports-server-ntrs-9781289165420","title":"Rapid Prototyping in Pvs","description":"PVSio is a conservative extension to the PVS prelude library that provides basic input\/output capabilities to the PVS ground evaluator. It supports rapid prototyping in PVS by enhancing the specification language with built-in constructs for string manipulation, floating point arithmetic, and input\/output operations.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Nasa Technical Reports Server (Ntrs),Cesar A. Munoz,Ricky Butler\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 1289165424\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9781289165420\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Bibliogov\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 07\/15\/2013\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 30\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 0.16lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.69h x 7.44w x 0.06d","brand":"Nasa Technical Reports Server (Ntrs)","offers":[{"title":"Paperback","offer_id":47611425685759,"sku":"9781289165420","price":15.75,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_ae3fbae6-5f4e-40d7-a6a6-c3a5f2c6900a.jpg?v=1764513798","url":"https:\/\/www.whiterainbookhouse.com\/products\/rapid-prototyping-in-pvs-nasa-technical-reports-server-ntrs-9781289165420","provider":"WR Book House","version":"1.0","type":"link"}