RecordNumber
94222
Title
Formal modeling : actors, open systems, biological systems ; essays dedicated to Carolyn Talcott on the occasion of her 70th birthday
Author Statement
Gul Agha, Olivier Danvy, Jos� Meseguer. (eds.).
Publication
Heidelberg New York : Springer
Publication Year
c2011
Collation
xx, 445 p. : ill., ports. ; 24 cm
Series
Lecture notes in computer science ; 0302-9743 7000 , LNCS sublibrary. SL 2, Programming and software engineering
Notes
"This volume contains the papers presented at a symposium in honor of Carolyn Talcott held during November 3-4, 2011 in Menlo Park, California."--Preface,
Bibliography
Includes bibliographical references and author index
Subject
Formal methods (Computer science) , Computer software
ADDED ENTRIES
AU Agha, Gul A , AU Danvy, Olivier , AU Meseguer, Jos , TI 7000 Lecture notes in computer science , TI Programming and software engineering LNCS sublibrary
Main Class
004
Sub Class
.0151
Cutter no
F723
واردكننده اطلاعات
ربابه صمدي علي نيا