Faculty Digital Archive

Archive@NYU  >

Browsing by Subject "Languages"

Jump to: 0-9 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
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 1 to 2 of 2
ThumbnailNumberIssue Date TitleAuthor(s)
IS-93-0331993 Templar: A Knowledge-Based Language for Software Specifications Using Temporal LogicTuzhilin, Alexander
IS-92-2823-Oct-1992 TOWARD A LOGICAL/PHYSICAL THEORY OF SPEADSHEET MODELINGIsakowitz, Tomas; Schocken, Shimon; Lucas, Henry C. , Jr.
Showing results 1 to 2 of 2

 

The contents of this archive are either in the public domain or subject to copyright. Please consult NYU's "Handbook for Use of Copyrighted Materials" (http://library.nyu.edu/copyright/copyright.html) for information on using material within the Faculty Digital Archive.
Valid XHTML 1.0 | CSS