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

 
9781860940033: Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College Workshop

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.

Buy Used

Condition: Good
431 pp., hardcover, ex library,...
View this item

£ 13.33 shipping from U.S.A. to United Kingdom

Destination, rates & speeds

Search results for Theory And Formal Methods Of Computing 94: Proceedings...

Stock Image

C.Hankin, I. Mackie & R. Nagarajan, Eds.
Published by Imperial College Press, 1995
ISBN 10: 186094003X ISBN 13: 9781860940033
Used Hardcover

Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

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

Contact seller

Buy Used

£ 3.67
Convert currency
Shipping: £ 13.33
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket