Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993 - Workshops in Computing - Geoffrey Burn - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540198420 - 24 de septiembre de 1993
En caso de que portada y título no coincidan, el título será el correcto

Geoffrey Burn
Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993 - Workshops in Computing Softcover reprint of the original 1st ed. 1993 edition

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 26 de jun. - 9 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

This volume contains the proceedings of the fIrst workshop held by the Theory and Formal Methods Section ofthe Imperial College Department of Computing. The papers fall into four broad areas: * semantics * concurrency * logic * specification with some papers spanning a number of disciplines.

337 pages, 9 black & white illustrations

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 24 de septiembre de 1993
ISBN13 9783540198420
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 329
Dimensiones 155 × 235 × 18 mm   ·   476 g
Lengua Alemán  
Editor Burn, Geoffrey
Editor Gay, Simon
Editor Ryan, Mark

Mas por Geoffrey Burn

Mostrar todo

Mere med samme udgiver

Ver todo de Geoffrey Burn ( Ej. Paperback Book y Hardcover Book )