Advances In Theory And Formal Methods Of Computing: Proceedings Of The Third Imperial College Workshop -  - Libros - Imperial College Press - 9781860940316 - 1 de noviembre de 1996
En caso de que portada y título no coincidan, el título será el correcto

Advances In Theory And Formal Methods Of Computing: Proceedings Of The Third Imperial College Workshop

Precio
Mex$ 2.647
sin IVA

Pedido desde almacén remoto

Entrega prevista 13 - 29 de oct.
Añadir a tu lista de deseos de iMusic

Aún no valorado

Contains the proceedings of the third workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London. It covers various topics in theoretical computer science, including formal specification, theorem proving, and operational and denotational semantics.


340 pages

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 1 de noviembre de 1996
ISBN13 9781860940316
Editores Imperial College Press
Páginas 330
Dimensiones 150 × 220 × 20 mm   ·   784 g
Editor Edalat, Abbas (Imperial College, Uk)
Editor Jourdan, S (Imperial College, Uk)
Editor Mccusker, G (Imperial College, Uk)

Más del mismo editor