عنوان
پدید آورنده
موضوع
رده
QA76.9.D5
QA76
.
9
.
D5
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642385923 (electronic bk.)
(Number (ISBN
9783642385926 (electronic bk.)
Erroneous ISBN
9783642385919
NATIONAL BIBLIOGRAPHY NUMBER
Number
b435037
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal techniques for distributed systems
General Material Designation
[Book]
Other Title Information
Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, held as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013 : proceedings /
First Statement of Responsibility
Dirk Beyer, Michele Boreale (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 :
Other Physical Details
ill
SERIES
Series Title
Lecture notes in computer science ;
Series Title
LNCS sublibrary. SL 2, Programming and software engineering
Volume Designation
7892
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
OTHER EDITION IN ANOTHER MEDIUM
Title
Formal techniques for distributed systems.
International Standard Book Number
3642385915
PIECE
Title
OhioLINK electronic book center (Online)
Title
SpringerLink
PARALLEL TITLE PROPER
Parallel Title
DisCoTec 2013
Parallel Title
FMOODS/FORTE 2013
TOPICAL NAME USED AS SUBJECT
Electronic data processing-- Distributed processing, Congresses
Formal methods (Computer science), Congresses
DEWEY DECIMAL CLASSIFICATION
Number
004
.
24
Edition
22
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
D5
Class number
QA76
.
9
.
D5
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Beyer, Dirk
Boreale, Michele
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
International Conference on Formal Methods for Open Object-Based Distributed Systems(13th :2013 :, Florence, Italy)
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
DisCoTec 2013(2013 :, Florence, Italy)
FORTE (Conference)(33rd :2013 :, Florence, Italy)
Ohio Library and Information Network
ORIGINATING SOURCE
Date of Transaction
20130801090042.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
