Clicky

Formal Techniques for Networked and Distributed Systems - FORTE 2002 by Doron A. Peled and similar books you'll love - Bookscovery

Home > Authors > Doron A. Peled > Formal Techniques for Networked and Distributed Systems - FORTE 2002

Buy at: Bookshop.org Amazon

Formal Techniques for Networked and Distributed Systems - FORTE 2002

Doron A. Peled, Moshe Y. Vardi

Recent activity

Rate this book to see your activity here.

6 Books Similar to Formal Techniques for Networked and Distributed Systems - FORTE 2002 by Doron A. Peled

Bookscovery readers who liked Formal Techniques for Networked and Distributed Systems - FORTE 2002 also like Model checking, Time for Verification and Finite Model Theory and Its Applications. How many of these have you read?

Model checking by Edmund M. Clarke Jr.

Cover of Model checking
Buy this book at:
Bookshop.org Amazon

Time for Verification by Zohar Manna

Cover of Time for Verification
Buy this book at:
Bookshop.org Amazon

Finite Model Theory and Its Applications by Erich Grädel

Cover of Finite Model Theory and Its Applications
Buy this book at:
Bookshop.org Amazon

Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series) by Erich Grädel

Cover of Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
Buy this book at:
Bookshop.org Amazon

Logic for programming artificial intelligence and reasoning by Moshe Y. Vardi

Cover of Logic for programming artificial intelligence and reasoning
Buy this book at:
Bookshop.org Amazon

TARK Proceedings 1988 by Moshe Y. Vardi

Cover of TARK Proceedings 1988
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Formal Techniques for Networked and Distributed Systems - FORTE 2002

Please sign in to leave a comment