.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Modeling
. Ed(S): Agha, Gul; Danvy, Olivier; Meseguer, Jose
€ 68.66
FREE Delivery in Ireland
Description for Formal Modeling
Paperback. This Festschrift volume honors Carolyn Talcott, a leading researcher and mentor of international renown among computer scientists, on her 70th birthday. Includes papers on such topics as actors and programming languages; cyberphysical systems and more. Editor(s): Agha, Gul; Danvy, Olivier; Meseguer, Jose. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 467 pages, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 712.
This Festschrift volume, published in honor of Carolyn Talcott on the occasion of her 70th birthday, contains a collection of papers presented at a symposium held in Menlo Park, California, USA, in November 2011. Carolyn Talcott is a leading researcher and mentor of international renown among computer scientists. She has made key contributions to a number of areas of computer science including: semantics and verification of progamming languages; foundations of actor-based systems; middleware, meta-architectures, and systems; Maude and rewriting logic; and computational biology. The 21 papers presented are organized in topical sections named: Essays on Carolyn Talcott; actors and programming ... Read more
This Festschrift volume, published in honor of Carolyn Talcott on the occasion of her 70th birthday, contains a collection of papers presented at a symposium held in Menlo Park, California, USA, in November 2011. Carolyn Talcott is a leading researcher and mentor of international renown among computer scientists. She has made key contributions to a number of areas of computer science including: semantics and verification of progamming languages; foundations of actor-based systems; middleware, meta-architectures, and systems; Maude and rewriting logic; and computational biology. The 21 papers presented are organized in topical sections named: Essays on Carolyn Talcott; actors and programming ... Read more
Product Details
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
467
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
447
Place of Publication
Berlin, Germany
ISBN
9783642249327
SKU
V9783642249327
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formal Modeling