Theory and Formal Methods of Computing 94: Proceedings of the Second Imperial College Workshop - Couverture rigide
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Theory and Formal Methods of Computing 94: Proceedings...
Image d'archives
Theory and Formal Methods of Computing 94. Proceedings of the Second Imperial College Workshop
Edité par
Imperial College Press, 1995
ISBN 10 : 186094003X
ISBN 13 : 9781860940033
Ancien ou d'occasion
Couverture rigide
Vendeur : Zubal-Books, Since 1961, Cleveland, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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. N° de réf. du vendeur ZB370275
Acheter D'occasion
EUR 7,37
Expédition à EUR 3,93
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)