-
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
-
واردكننده اطلاعات
ربابه صمدي علي نيا
-
Link To Document :