Formal Modeling: Actors; Open Systems, Biological Systems Image close
Formal Modeling: Actors; Open Systems, Biological Systems
Formal Modeling: Actors; Open Systems, Biological Systems
Show Hide Adult Content
Formal Modeling: Actors; Open Systems, Biological Systems close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Mathematical theory of computation

Formal Modeling: Actors; Open Systems, Biological Systems

Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$157.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $39.25 with Afterpay Learn more

6 weekly interest-free payments of $26.17 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 6-18 June using International Courier

Explore more Programming and Software Engineering

See all products in this series

Programming Languages and Systems
$155.00
Programming Languages and Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Verified Software. Theories, Tools, and Experiments
$153.00
Verified Software. Theories, Tools, and Experiments
Paperback / softback
Available - Usually ships in 3-4 weeks
Product-Focused Software Process Improvement
$157.00
Product-Focused Software Process Improvement
Paperback / softback
Available - Usually ships in 3-4 weeks
Integrated Formal Methods
$153.00
Integrated Formal Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
Embedded Systems Design
$300.00
Embedded Systems Design
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods for Open Object-Based Distributed Systems
$151.00
Formal Methods for Open Object-Based Distributed Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods for Industrial Critical Systems
$151.00
Formal Methods for Industrial Critical Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Agent-Oriented Software Engineering IX
$152.00
Agent-Oriented Software Engineering IX
Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematics of Program Construction
$153.00
Mathematics of Program Construction
Paperback / softback
Available - Usually ships in 3-4 weeks
Component-Based Software Engineering
$154.00
Component-Based Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Rules on the Web: Research and Applications
$153.00
Rules on the Web: Research and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Reliable Software Technologies – Ada-Europe 2016
$151.00
Reliable Software Technologies – Ada-Europe 2016
Paperback / softback
Available - Usually ships in 3-4 weeks
Software Architecture
$160.00
Software Architecture
Paperback / softback
Available - Usually ships in 3-4 weeks
Algebraic Methodology and Software Technology
$154.00
Algebraic Methodology and Software Technology
Paperback / softback
Available - Usually ships in 3-4 weeks
Programming Languages and Systems
$157.00
Programming Languages and Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Model Driven Engineering Languages and Systems
$156.00
Model Driven Engineering Languages and Systems
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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.
Release date NZ
October 13th, 2011
Audience
  • Professional & Vocational
Contributors
  • Edited by Gul Agha
  • Edited by Jose Meseguer
  • Edited by Olivier Danvy
Illustrations
XX, 447 p.
Pages
447
Dimensions
155x235x25
ISBN-13
9783642249327
Product ID
18847189

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Computers & Internet >
Internet >
Network computers
Books >
Computers & Internet >
Computer hardware >
Network hardware
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer programming / software development >
Programming & scripting languages: general
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation