Logic, rewriting, and concurrency : essays dedicated to José Meseguer on the occasion of his 65th birthday :: ISBN 9783319231648 :: Springer 2015 :: OBNB, the Open British National Bibliography

Publication Data

Title Logic, rewriting, and concurrency : essays dedicated to José Meseguer on the occasion of his 65th birthday
Contributors José Meseguer, N. Martí-Oliet, Peter Csaba Ölveczky, Carolyn L. Talcott
Publisher Springer
Publication date 2015
Publication location Cham
Language English

Descriptive Notes

"Papers presented at a symposium at the University of Illinois at Urbana-Champaign during September 23-25, 2015"--Preface.

Topics

Logic design :: Congresses
Computer logic :: Congresses
Rewriting systems (Computer science) :: Congresses
Computer science, :: Congresses
Computer software :: Development, :: Congresses
Computer multitasking, :: Congresses

Catalogue Data

OBNB ID GBB5E3313
ISBN 10 3319231642
ISBN 13 9783319231648
Type BibliographicResource, Book
Dewey Classification 005.131

ISBD

P1053 xi, 634 pages
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Logic, rewriting, and concurrency : essays dedicated to José Meseguer on the occasion of his 65th birthday. ISBN 9783319231648. Published by Springer in 2015. Publication and catalogue information, links to buy online and reader comments.