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.
"synopsis" may belong to another edition of this title.
£ 13.33 shipping from U.S.A. to United Kingdom
Destination, rates & speedsSeller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Condition: Good. 431 pp., hardcover, ex library, else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Seller Inventory # ZB370275
Quantity: 1 available