Items related to Theory and Formal Methods of Computing 94: Proceedings...
Theory and Formal Methods of Computing 94: Proceedings of the Second Imperial College Workshop - Hardcover
Synopsis
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.
- PublisherImperial College Press
- Publication date1995
- ISBN 10 186094003X
- ISBN 13 9781860940033
- BindingHardcover
- LanguageEnglish
- Number of pages444
- EditorHankin Chris, MacKie I, Nagarajan Rajagopal
Search results for Theory and Formal Methods of Computing 94: Proceedings...
Stock Image
Theory and Formal Methods of Computing 94. Proceedings of the Second Imperial College Workshop
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
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
Stock Image
Theory and Formal Methods of Computing 94: Proceedings of the Second Imperial College Workshop
Published by
World Scientific Pub Co Inc, 1995
ISBN 10: 186094003X
ISBN 13: 9781860940033
Used
Hardcover
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Hardcover. Condition: Like New. LIKE NEW. book. Seller Inventory # ERICA828186094003X3
Quantity: 1 available