Formal modeling : actors, open systems, biological systems ; essays dedicated to Carolyn Talcott on the occasion of her 70th birthday /

Bibliographic Details
Other Authors:	Agha, Gul A., Danvy, Olivier, Meseguer, José
Format:	eBook
Language:	English
Published:	Berlin ; Heidelberg : Springer, [2011]
Series:	LNCS sublibrary. Programming and software engineering. Lecture notes in computer science ; 7000.
Subjects:	Computer software > Verification. Formal methods (Computer science) Computer Communication Networks Computer science Logic design Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Programming Techniques Software engineering Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online