Statistics   Author Index
authors: 124845
books   : 333952
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
   Books search
  
   B :: B. D Lubachevsky :: An approach to automating the verification of compact parallel coordination programs. II : download ebook or read online
Book preview: An approach to automating the verification of compact parallel coordination programs. II by B. D Lubachevsky




Book info:


Author: B. D Lubachevsky
Title: An approach to automating the verification of compact parallel coordination programs. II
Publisher: New York: Courant Institute of Mathematical Sciences, New York University
Contributor: New York University, Institute of Fine Arts Library Collection: newyorkuniversity
Format: txt
Size: 25 kb

Read the ebook

» Read ebook online «

Free ebook download