عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642316220
(Number (ISBN
3642316239
(Number (ISBN
9783642316227
(Number (ISBN
9783642316234
NATIONAL BIBLIOGRAPHY NUMBER
Number
b598174
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Descriptional complexity of formal systems :
General Material Designation
[Book]
Other Title Information
14th international workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012 : proceedings
First Statement of Responsibility
Martin Kutrib, Nelma Moreira, Rogério Reis (eds.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Heidelberg
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
©2012.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
(x, 318 p.) : illustrations.
SERIES
Series Title
Lecture notes in computer science, 7386.
PARALLEL TITLE PROPER
Parallel Title
DCFS 2012
TOPICAL NAME USED AS SUBJECT
Formal languages -- Congresses.
Formal methods (Computer science) -- Congresses.
Machine theory -- Congresses.
PERSONAL NAME - PRIMARY RESPONSIBILITY
Martin Kutrib, Nelma Moreira, Rogério Reis (eds.).
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Martin Kutrib
Nelma Moreira
Rogério Reis
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
