عنوان
پدید آورنده
موضوع
رده
QA76.76.D47 W33 2012
QA76
.
76
.
D47
W33
2012
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642376355 (electronic bk.)
(Number (ISBN
9783642376351 (electronic bk.)
Erroneous ISBN
9783642376344
NATIONAL BIBLIOGRAPHY NUMBER
Number
b435003
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Recent trends in algebraic development techniques
General Material Designation
[Book]
Other Title Information
21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012 : revised selected papers /
First Statement of Responsibility
Narciso Martí-Oliet, Miguel Palomino (eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
c2013
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (x, 282 p.) :
Other Physical Details
ill
SERIES
Series Title
Lecture notes in computer science,
Series Title
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Volume Designation
7841
ISSN of Series
1611-3349 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
PIECE
Title
OhioLINK electronic book center (Online)
Title
SpringerLink
PARALLEL TITLE PROPER
Parallel Title
WADT 2012
TOPICAL NAME USED AS SUBJECT
Computer science-- Mathematics, Congresses
Computer software-- Development, Congresses
Formal methods (Computer science), Congresses
DEWEY DECIMAL CLASSIFICATION
Number
005
.
1
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
76
.
D47
Class number
QA76
.
76
.
D47
Book number
W33
2012
Book number
W33
2012
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Martí-Oliet, N., (Narciso)
Palomino, Miguel
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
WADT 2012(2012 :, Salamanca, Spain)
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
Ohio Library and Information Network
ORIGINATING SOURCE
Date of Transaction
20130703153454.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
