عنوان
پدید آورنده
موضوع
رده
QA76.758 .I58 2011
QA76
.
758
.
I58
2011
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642177956
(Number (ISBN
3642177964
(Number (ISBN
9783642177958
(Number (ISBN
9783642177965
NATIONAL BIBLIOGRAPHY NUMBER
Number
b434043
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Algebraic methodology and software technology :
General Material Designation
[Book]
Other Title Information
13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 : revised selected papers /
First Statement of Responsibility
Michael Johnson, Dusko Pavlovic (editions.)
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (x, 235 pages) :
Other Physical Details
illustrations
SERIES
Series Title
Lecture notes in computer science,
Volume Designation
6486
ISSN of Series
0302-9743 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
SUMMARY OR ABSTRACT
Text of Note
This book constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, held in Lac-Beauport, QC, Canada, in June 2010. The 14 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers are organized in 1 invited paper, 10 contributed research papers, and 4 system demonstrations
ACQUISITION INFORMATION NOTE
Source for Acquisition/Subscription Address
Springer
Stock Number
978-3-642-17795-8
OTHER EDITION IN ANOTHER MEDIUM
Title
Algebraic methodology and software technology.
International Standard Book Number
9783642177958
PARALLEL TITLE PROPER
Parallel Title
AMAST 2010
TOPICAL NAME USED AS SUBJECT
Abstract data types (Computer science), Congresses
Software engineering, Congresses
(SUBJECT CATEGORY (Provisional
QA
DEWEY DECIMAL CLASSIFICATION
Number
005
.
1
Edition
22
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
758
Book number
.
I58
2011
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Johnson, Michael,1959-
Pavlović, Dusko
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
International Conference on Algebraic Methodology and Software Technology(13th :2010 :, Beauport, Québec)
ORIGINATING SOURCE
Date of Transaction
20170726082112.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
