Reachability problems : 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings /

Bibliographic Details
Corporate Author:	RP (Workshop) Genoa, Italy)
Other Authors:	Delzanno, Giorgio, Potapov, Igor
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2011]
Series:	LNCS sublibrary. Theoretical computer science and general issues. Lecture notes in computer science ; 6945.
Subjects:	Computer systems > Verification > Congresses. Decidability (Mathematical logic) > Congresses. Graph theory > Data processing > Congresses. Algorithm Analysis and Problem Complexity Computation by Abstract Devices Computer science Computer software Logic design Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Software engineering Electronic books.
Online Access:	Connect to the full text of this electronic book

Description
Item Description:	Electronic resource. International conference proceedings.
Physical Description:	1 online resource.
Bibliography:	Includes bibliographical references and author index.
ISBN:	364224288X (electronic bk.) 9783642242885 (electronic bk.)
ISSN:	0302-9743 ;
DOI:	10.1007/978-3-642-24288-5