Cover Image

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
Description
Item Description:Electronic resource.
Physical Description:1 online resource.
Bibliography:Includes bibliographical references and author index.
ISBN:3642249337 (electronic bk.)
9783642249334 (electronic bk.)
ISSN:0302-9743 ;
DOI:10.1007/978-3-642-24933-4