Artículos relacionados a Formal Modeling: Actors; Open Systems, Biological Systems:...
Formal Modeling: Actors; Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday: 7000 (Lecture Notes in Computer Science) - Tapa blanda
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
De la contraportada
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialSpringer
- Año de publicación2011
- ISBN 10 3642249329
- ISBN 13 9783642249327
- EncuadernaciónTapa blanda
- IdiomaInglés
- Número de páginas468
- EditorAgha Gul, Danvy Olivier, Meseguer José
Comprar nuevo
Ver este artículo
EUR 62,12
EUR 4,72 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Formal Modeling: Actors; Open Systems, Biological Systems:...
Imagen de archivo
Formal Modeling: Actors; Open Systems, Biological Systems : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
Publicado por
Springer-Verlag GmbH, 2011
ISBN 10: 3642249329
ISBN 13: 9783642249327
Antiguo o usado
Tapa blanda
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Sehr gut. Zustand: Sehr gut - Neubindung, Buchrücken fehlerhaft geklebt, Buchecken leicht angestoßen, Ausgabe 2011 | Seiten: 447 | Sprache: Englisch | Produktart: Bücher. Nº de ref. del artículo: 11552887/12
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Modeling: Actors; Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday (Lecture Notes in Computer Science, 7000)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783642249327_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Formal Modeling: Actors Open Systems, Biological Systems
Publicado por
Springer Berlin Heidelberg, 2011
ISBN 10: 3642249329
ISBN 13: 9783642249327
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. commemorative publicationup-to-date-results in formal modeling state-of-the-art-researchThis Festschrift volume, published in honor of Carolyn Talcott on the occasion of her 70th birthday, contains a collection of papers presented a. Nº de ref. del artículo: 5053736
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Formal Modeling: Actors; Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday (Lecture Notes in Computer Science, 7000)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9783642249327
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Formal Modeling: Actors; Open Systems, Biological Systems : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
Publicado por
Springer, Berlin, Springer Berlin Heidelberg, Springer, 2011
ISBN 10: 3642249329
ISBN 13: 9783642249327
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Neuware - 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. Nº de ref. del artículo: 9783642249327
Cantidad disponible: 2 disponibles
Imagen de archivo
Formal Modeling: Actors; Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday (Lecture Notes in Computer Science, 7000)
Librería: thebookforest.com, San Rafael, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Well packaged and promptly shipped from California. US veteran operated. Nº de ref. del artículo: 1LAGBP001FK7
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Modeling: Actors; Open Systems, Biological Systems, Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
Publicado por
Springer-Verlag New York Inc, 2011
ISBN 10: 3642249329
ISBN 13: 9783642249327
Nuevo
Paperback
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 2011 edition. 467 pages. 9.50x6.25x1.00 inches. In Stock. Nº de ref. del artículo: x-3642249329
Cantidad disponible: 2 disponibles
Imagen de archivo
Formal Modeling: Actors; Open Systems, Biological Systems : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783642249327
Cantidad disponible: 10 disponibles
Imagen de archivo
Formal Modeling: Actors; Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday (Lecture Notes in Computer Science, 7000)
Publicado por
Springer (edition 2011), 2011
ISBN 10: 3642249329
ISBN 13: 9783642249327
Antiguo o usado
Paperback
Librería: BooksRun, Philadelphia, PA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Good. 2011. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported. Nº de ref. del artículo: 3642249329-11-1
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Modeling: Actors; Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday (Lecture Notes in Computer Science, 7000)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020221729
Cantidad disponible: Más de 20 disponibles