Computer Science Logic: 7th Workshop, Csl '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers (Csl '93, Swansea, United Kingdom, September 13-17, 1993 - Selected Papers) - Lecture Notes in Computer Science - Egon Brger - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540582779 - 20 de julio de 1994
En caso de que portada y título no coincidan, el título será el correcto

Computer Science Logic: 7th Workshop, Csl '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers (Csl '93, Swansea, United Kingdom, September 13-17, 1993 - Selected Papers) - Lecture Notes in Computer Science

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.
Añadir a tu lista de deseos de iMusic

This volume contains a selection of papers presented at the Conference of the European Association for Computer Science Logic, held at Swansea in September 1993. Topics discussed include set constraints, lambda calculi, process algebras, program semantics, fixed-point logics, Horn clauses and more.


344 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 20 de julio de 1994
ISBN13 9783540582779
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 344
Dimensiones 216 × 279 × 18 mm   ·   503 g
Lengua Alemán  

Mere med samme udgiver