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
  
   J :: Jacob T Schwartz :: A survey of program proof technology : download ebook or read online
Book preview: A survey of program proof technology by Jacob T Schwartz



Book info:


Author: Jacob T Schwartz
Title: A survey of program proof technology
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 «