Cover of Formal Techniques for Networked and Distributed Systems - FORTE 2002

Mark as

Formal Techniques for Networked and Distributed Systems - FORTE 2002

by Doron A. Peled

Buy this book Review

More by Doron A. Peled

Cover of Model checking

Cover of Time for Verification

Cover of Finite Model Theory and Its Applications

Cover of Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)

Cover of Logic for programming artificial intelligence and reasoning

Cover of TARK Proceedings 1988

Recent activity

Rate this book to see your activity here.

Comments and reviews

Please sign in to leave a comment