A proof-checked verification of a real-time communication protocol by I. Polak
Buy now!

Book

A proof-checked verification of a real-time communication protocol

« 

Score:
 
 
 
 
 
 (3/0)

Reviews:
0 
Times tipped:
0 
Times read:
0 
Author(s):
  
Category:
 
NUR
Non-fictie informatief
ISBN
9789039308585

 
Mail a friend 
Share on Twitter 



 
Information
 
 
Reviews
 
 
 
Wall
 
 
 
Related
 
 
 
Readers
 
 

Welcome to Boeklezers.nl

Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».

Sign Up

Reviews of A proof-checked verification of a real-time communication protocol by I. Polak

There are no reviews for this book yet.

 
More reviews »