×


 x 

Shopping cart
. Ed(S): Marti-Oliet, Narciso; Olveczky, Peter Csaba; Talcott, Carolyn L. - Logic, Rewriting, and Concurrency - 9783319231648 - V9783319231648
Stock image for illustration purposes only - book cover, edition or condition may vary.

Logic, Rewriting, and Concurrency

€ 70.42
FREE Delivery in Ireland
Description for Logic, Rewriting, and Concurrency Paperback. Editor(s): Marti-Oliet, Narciso; Olveczky, Peter Csaba; Talcott, Carolyn L. Series: Lecture Notes in Computer Science. Num Pages: 634 pages, 103 black & white illustrations, biography. BIC Classification: PBD; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 979.
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é.

Product Details

Format
Paperback
Publication date
2015
Publisher
Springer International Publishing AG Switzerland
Number of pages
634
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
634
Place of Publication
Cham, Switzerland
ISBN
9783319231648
SKU
V9783319231648
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15

Reviews for Logic, Rewriting, and Concurrency

Goodreads reviews for Logic, Rewriting, and Concurrency


Subscribe to our newsletter

News on special offers, signed editions & more!