|
" Formal techniques for distributed systems "
Dirk Beyer, Michele Boreale (eds.)
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
605818
|
| Doc. No
|
:
|
b435037
|
| Main Entry
|
:
|
International Conference on Formal Methods for Open Object-Based Distributed Systems(13th :2013 :, Florence, Italy)
|
| Title & Author
|
:
|
Formal techniques for distributed systems : 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 /\ Dirk Beyer, Michele Boreale (eds.)
|
| Publication Statement
|
:
|
Heidelberg ;New York :: Springer,, c2013
|
| Series Statement
|
:
|
Lecture notes in computer science ;; 7892
|
|
|
:
|
LNCS sublibrary. SL 2, Programming and software engineering
|
| Page. NO
|
:
|
1 online resource :: ill
|
| ISBN
|
:
|
3642385923 (electronic bk.)
|
|
|
:
|
: 9783642385926 (electronic bk.)
|
|
|
:
|
9783642385919
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and index
|
| Subject
|
:
|
Electronic data processing-- Distributed processing, Congresses
|
| Subject
|
:
|
Formal methods (Computer science), Congresses
|
| Dewey Classification
|
:
|
004.24
|
| LC Classification
|
:
|
QA76.9.D5
|
|
|
:
|
QA76.9.D5
|
| Added Entry
|
:
|
Beyer, Dirk
|
|
|
:
|
Boreale, Michele
|
| Added Entry
|
:
|
Ohio Library and Information Network
|
|
|
:
|
DisCoTec 2013(2013 :, Florence, Italy)
|
|
|
:
|
FORTE (Conference)(33rd :2013 :, Florence, Italy)
|
| Parallel Title
|
:
|
DisCoTec 2013
|
|
|
:
|
: FMOODS/FORTE 2013
|
| |