An edition of Formal techniques for distributed systems (2010)

Formal techniques for distributed systems

joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, the Netherlands, June 7-9, 2010 : proceedings

by

Cover of: Formal techniques for distributed systems by International Conference on Formal Methods for Open Object-Based Distributed Systems (12th 2010 Amsterdam, Netherlands), International Conference on Formal Methods for Open Object-Based Distributed Systems (12th 2010 Amsterdam, Netherlands)
Locate

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
June 30, 2019 | History
Edit
An edition of Formal techniques for distributed systems (2010)

Formal techniques for distributed systems

joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, the Netherlands, June 7-9, 2010 : proceedings

by

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer
Language
English
Pages
231

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Distributed processing, Congresses, Formale Methode, Electronic data processing, Formal methods (Computer science), Verteiltes System, Object-oriented programming (Computer science), Logic design, Computer networks, Computer science, Software engineering

Places

Amsterdam <2010>
Edition Availability
Cover of: Formal techniques for distributed systems
Formal techniques for distributed systems: joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, the Netherlands, June 7-9, 2010 : proceedings
2010, Springer
in English

Add another edition?

Book Details

Edition Notes

Copyright by IFIP International Federation for Information Processing.

Includes bibliographical references and index.

Published in
Berlin, New York
Series
Lecture notes in computer science -- 6117, LNCS sublibrary: SL 2-programming and software engineering, Lecture notes in computer science -- 6117., LNCS sublibrary

Classifications

Dewey Decimal Class
004.36
Library of Congress
QA76.9.D5 I573 2010, QA75.5-76.95

The Physical Object

Pagination
xii, 231, [2] p. :
Number of pages
231

ID Numbers

Open Library
OL25313807M
Internet Archive
formaltechniques00hatc
ISBN 10
3642134637
ISBN 13
9783642134630
LCCN
2010927591
OCLC/WorldCat
641458922

Source records

Library of Congress MARC record
Internet Archive item record
Internet Archive item record
Library of Congress MARC record
Better World Books record
amazon.com record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
June 30, 2019 Edited by MARC Bot import existing book
May 16, 2012 Created by LC Bot import new book