Formal Techniques For Distributed Systems Joint 14th Ifip Wg 61 International Conference And 32nd Ifip Wg 61 International Conference Proceedings View on Open Library

Formal Techniques For Distributed Systems Joint 14th Ifip Wg 61 International Conference And 32nd Ifip Wg 61 International Conference Proceedings

by Holger Giese

No reviews yet
First published: 2012 ISBN: 9783642307928
Subjects
Operating systems (computers) System design Electronic data processing Congresses Distributed processing Formal methods (Computer science)

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Holger Giese

Software Engineering for Self-Adaptive Systems

Software Engineering for Self-Adaptive S...

Graph Transformation

Graph Transformation

Architecting Critical Systems

Architecting Critical Systems

Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems

Proceedings of the 6th International Sym...

Formal Techniques for Distributed Systems

Formal Techniques for Distributed System...

Software Engineering for Self-Adaptive Systems III. Assurances

Software Engineering for Self-Adaptive S...

You Might Also Like

More in Operating systems (c...
The Autobiography of Benjamin Franklin

The Autobiography of Benjamin Franklin

Benjamin Franklin
Interactive Computing Series

Interactive Computing Series

Kenneth C. Laudon
Mastering today's software

Mastering today's software

Edward G. Martin
Upgrading and repairing PCs

Upgrading and repairing PCs

Scott Mueller
I-Series

I-Series

Stephen Haag
Defense acquisitions

Defense acquisitions

United States. General Accounting Office