Holdings: Descriptional complexity of formal systems : :: Library search

Descriptional complexity of formal systems : 14th international workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, proceedings /

Descriptional complexity of formal systems : 14th international workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, proceedings / Martin Kutrib, Nelma Moreira, Rogério Reis (eds.).

Annotation

Saved in:

Bibliographic Details
Main Authors:	Kutrib, Martin (Author), Moreira, Nelma (Author), Reis, Rogério (Author)
Corporate Author:	DCFS (Workshop) Braga, Portugal)
Format:	Ebook
Language:	English
Published:	Berlin ; New York : Springer, [2012]
Series:	Lecture notes in computer science ; 7386. LNCS sublibrary. Theoretical computer science and general issues
Subjects:	Computational complexity > Congresses Formal languages > Congresses Formal methods (Computer science) > Congresses Machine theory > Congresses
Online Access:	Springer eBooks

Description
Summary:	Annotation
Physical Description:	1 online resource (x, 318 pages) : illustrations.
Bibliography:	Includes bibliographical references and index.
ISSN:	1611-3349 ;