{ "item_title" : "Theory and Formal Methods of Computing 94", "item_author" : [" Chris Hankin", "I. MacKie", "Rajagopal Nagarajan "], "item_description" : "The focus of this workshop was the development of mathematically-based techniques of formal specification of system behaviour, and the systematic development of implementations. The aim is to produce correct, efficient implementations in a reliable fashion. Topics covered at the workshop include category theory, logic, domain theory, semantics, concurrency, specification and verification. The papers published here range from the purely theoretical to practical applications.", "item_img_path" : "https://covers2.booksamillion.com/covers/bam/1/86/094/003/186094003X_b.jpg", "price_data" : { "retail_price" : "160.00", "online_price" : "160.00", "our_price" : "160.00", "club_price" : "160.00", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }

Overview

Customers Also Bought

Details