Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College Workshop - Tapa dura
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Theory And Formal Methods Of Computing 94: Proceedings...
Imagen de archivo
Theory and Formal Methods of Computing 94. Proceedings of the Second Imperial College Workshop
Publicado por
Imperial College Press, 1995
ISBN 10: 186094003X
ISBN 13: 9781860940033
Antiguo o usado
Tapa dura
Librería: Zubal-Books, Since 1961, Cleveland, OH, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: 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 ref. del artículo: ZB370275
Comprar usado
EUR 4,45
Gastos de envío:
EUR 3,89
A Estados Unidos de America
Cantidad disponible: 1 disponibles