Home / Books / Computers & Internet / Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science)

Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science) by Willem-Paul de Roever

Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science)

Willem-Paul de Roever

Cambridge University Press

Nov 2001

1st Edition

Computers & Internet WSBN

0

Readers

0

Reviews

0

Discussions

0

Quotes

Book by Roever, Willem-Paul de, Boer, Frank de, Hanneman, Ulrich, Hooman, Jozef, Lakhnech, Yassine, Poel, Mannes, Zwiers, Job

Add to My Library Buy on Amazon Find in Library

Join the conversation

No discussions yet. Join BookLovers to start a discussion about this book!

No reviews yet. Join BookLovers to write the first review!

No quotes shared yet. Join BookLovers to share your favorite quotes!

Earn Points

Your voice matters. Every comment, review, and quote earns you reward points redeemable for Bitcoin.

Comment +5 pts Review +20 pts Quote +7 pts Upvote +1 pt

Find books similar to this one

About this book

Publisher Cambridge University...

Published 2001

Readers 0

Similar Books in Computers & Internet

View All Similar

Fallout 4 Vault Dweller's Survival Guide Collector's Edition: Prima Official Game Guide by David Hodgson

Fallout 4 Vault Dweller's Survival Guide Collector's Edition: Prima Official Game Guide

Fallout 4 Ultimate Vault Dweller's Survival Guide Bundle by David Hodgson

Fallout 4 Ultimate Vault Dweller's Survival Guide Bundle

#AskGaryVee: One Entrepreneur's Take on Leadership, Social Media, and Self-Awareness by by Gary Vaynerchuk

#AskGaryVee: One Entrepreneur's Take on Leadership, Social Media, and Self-Awareness

by Gary Vaynerchuk

The Hundred-Page Machine Learning Book by Andriy Burkov

The Hundred-Page Machine Learning Book

Instant Access Databases by Greg Buczek

Instant Access Databases

Typographics 3: Global Vision by Roger Walton

Typographics 3: Global Vision