Logic, Rewriting, and Concurrency - E-book

eBook

Logic, Rewriting, And Concurrency - ENG

Essays Dedicated To JosÃ© Meseguer On The Occasion Of His 65th Birthday

eBook

$1,100.00

Disponible

Información adicional
Sinopsis

ISBN:	9783319231655
Formato:	ePub
Idioma:	Inglés
Editorial:	Springer Nature
Tema:	Computadoras
Subtema:	Programación general
Año de publicación:	2015-08-26

This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of JosÃ© Meseguer to honor him on the occasion of his 65th birthday. These papers were presented at a symposium at the University of Illinois at Urbana-Champaign on September 23-25, 2015. The symposium also featured invited talks by Claude and HÃ©lÃ¨ne Kirchner and by Patrick Lincoln. The foreword of this volume adds a brief overview of some of JosÃ©s many scientific achievements followed by a bibliography of papers written by JosÃ©.

eBooks