{"product_id":"9783540555643","title":"Lecture Notes in Computer Science: REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings\u003c\/h1\u003e \u003ch2\u003eBakker, J.W.de; Huizing, C.; Roever, W.P.de; Rozenberg, G.\u003c\/h2\u003e \u003cp\u003eIn the past decade, the formal theory of specification,\nverfication and     development of real-time programs has grown\nfrom work of a few specialized  groups to a real \"bandwagon\".\nMany eminent research groups have shifted     their interests in\nthis direction. Consequently, research in real-time is   now\nentering established research areas in formal methods, such\nas      process algebra, temporal logic, and model checking.\nThis volume contains   the proceedings of a workshop dedicated\nto the theory of real-time with the purpose of stepping back\nand viewing the results achieved as well as        considering the\ndirections of ongoing research. The volume gives            a\nrepresentative picture of what is going on in the field\nworldwide,    presented by eminent, active researchers. The\nmaterial in the volume was    prepared by the authors after the\nworkshop took place and reflects the      results of the workshop\ndiscussions.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1992-06-24\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540555643\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/BFb0031984\u003c\/p\u003e \u003cp\u003eDimensions: 250cm x170cm\u003c\/p\u003e \u003cp\u003ePages: 723\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45370063913100,"sku":"9783540555643","price":98.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540555643.jpg?v=1773969582","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783540555643","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}