Formal Techniques for Distributed Systems View on Open Library

Formal Techniques for Distributed Systems

by Holger Giese

No reviews yet
First published: 2012 1 language ISBN: 9783642307935
Subjects
Mathematical Logic and Formal Languages Programming Techniques Software engineering Computer networks Logic design Logics and Meanings of Programs Computer science Programming Languages, Compilers, Interpreters Electronic data processing, distributed processing Computer Communication Networks

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...

Software Engineering for Self-Adaptive Systems III. Assurances

Software Engineering for Self-Adaptive S...

Model-Based Engineering of Embedded Real-Time Systems

Model-Based Engineering of Embedded Real...

You Might Also Like

More in Mathematical Logic a...
Reachability Problems

Reachability Problems

Parosh Aziz Abdulla
Artificial general intelligence

Artificial general intelligence

Ben Goertzel
Computer Games

Computer Games

Tristan Cazenave
Logical Foundations of Computer Science

Logical Foundations of Computer Science

Sergei Artemov
Language and Automata Theory and Applications

Language and Automata Theory and Applica...

Adrian-Horia Dediu
New Frontiers In Artificial Intelligence

New Frontiers In Artificial Intelligence

Daisuke Bekki