{"product_id":"the-iota-programming-system-a-modular-programming-environment-von-r-nakajima-t-yuasa-hrsg","title":"The IOTA Programming System","description":"\u003cp\u003e1. Language, logical foundation, verification.- 2. System supports for modular programming.- 3. Strategies and techniques for interactive proof.- 4. Supports for building modules, modulebase.- 5. Language processing.- 6. Verification system.- 7. Proof system.- 8. Supports for cooperative modular programming.- 9. Program development witht he IOTA system ¿ KWIC example.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540126935\"\u003e\u003ch3\u003eA Modular Programming Environment\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540126935","offer_id":39426547089501,"sku":"9783540126935","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/268def22-315c-4077-a781-d6c5d4e7ccd9.jpg?v=1773553148","url":"https:\/\/shop.autorenwelt.de\/products\/the-iota-programming-system-a-modular-programming-environment-von-r-nakajima-t-yuasa-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}