Get Free Shipping on orders over $89
Formal Modeling: Actors; Open Systems, Biological Systems : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday - Gul Agha

Formal Modeling: Actors; Open Systems, Biological Systems

Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday

By: Gul Agha (Editor), Olivier Danvy (Editor), José Meseguer (Editor)

Paperback | 13 October 2011

At a Glance

Paperback


$84.99

or 4 interest-free payments of $21.25 with

 or 

Ships in 5 to 7 business days

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 languages; cyberphysical systems; middleware and meta-architectures; formal methods and reasoning tools; and computational biology.

More in Computer Programming & Software Development

Learning Go : An Idiomatic Approach to Real-World Go Programming - Jon Bodner
The C Programming Language : Prentice Hall Software - Brian Kernighan

RRP $107.04

$75.75

29%
OFF
Python All-in-One For Dummies : 3rd Edition - Alan Simpson

RRP $74.95

$49.99

33%
OFF
Design Patterns : Elements of Reusable Object-Oriented Software - Erich Gamma
Swift : The Practical Guide - Kerem Koseoglu
Web Engineering : Theory and Practice - Jeremiah Downey
The Essence of Software Engineering - Cersei Page
Introduction to Programming Languages - Gordon Hurley
Building Microservices : Designing Fine-Grained Systems 2nd Edition - Sam Newman
Computer Coding Python Games for Kids : DK Help Your Kids With - Carol Vorderman