Skip to main content
PBS logo
 
 

Search - 11th Annual IEEE Symposium on Logic in Computer Science: July 27-30, 1996 New Brunswick, New Jersey : Proceedings (SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE//PROCEEDINGS)

11th Annual IEEE Symposium on Logic in Computer Science: July 27-30, 1996 New Brunswick, New Jersey : Proceedings (SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE//PROCEEDINGS)
11th Annual IEEE Symposium on Logic in Computer Science July 2730 1996 New Brunswick New Jersey Proceedings - SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE//PROCEEDINGS
Author: IEEE
Proceedings of the August 1996 symposium on [title] addressing both theoretical and practical issues in computer science that relate to logic in a broad sense, including algebraic, categorical, and topological approaches. Subjects covered include: finite model theory, concurrency, temporal logic and calculus, model checking, semantics and domain...  more »
ISBN-13: 9780818674631
ISBN-10: 0818674636
Publication Date: 4/1/1997
Pages: 531
Rating:
  ?
0 stars, based on 0 rating
Publisher: IEEE
Book Type: Paperback
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.