This exemplary volume shows how the shared interests of three different research areas can lead to significant and fruitful exchanges: each of six papers very accessibly presents an exciting contribution to the study and uses of algebra, diagrams, and decisions, ranging from indipensable overview papers about shared formal members to inspiring applications of formal tools to specific problems.
"Sinopsis" puede pertenecer a otra edición de este libro.
Kees Vermeulen is a researcher at the National Research Center for Mathematics and Computer Science in Amsterdam. Ann Copestake is a lecturer in the University of Cambridge Computer Laboratory.
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 7,43 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoLibrería: PsychoBabel & Skoob Books, Didcot, Reino Unido
paperback. Condición: Very Good. First Edition. CSLI Lecture Notes, No. 144. Very good condition, almost as-new; minor shelf wear only; contents clean, sond, bright. Used. Nº de ref. del artículo: 203274
Cantidad disponible: 1 disponibles
Librería: HPB-Red, Dallas, TX, Estados Unidos de America
Paperback. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Nº de ref. del artículo: S_358415715
Cantidad disponible: 1 disponibles