Foundations of Software Technology and Theoretical Computer Science - Info and Reading Options
17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings (Lecture Notes in Computer Science)
By S. Ramesh, G. Sivakumar, Gerhard Goos and Juris Hartmanis
"Foundations of Software Technology and Theoretical Computer Science" was published by Springer in December 9, 1997, it has 343 pages and the language of the book is English.
“Foundations of Software Technology and Theoretical Computer Science” Metadata:
- Title: ➤ Foundations of Software Technology and Theoretical Computer Science
- Authors: S. RameshG. SivakumarGerhard GoosJuris Hartmanis
- Language: English
- Number of Pages: 343
- Publisher: Springer
- Publish Date: December 9, 1997
“Foundations of Software Technology and Theoretical Computer Science” Subjects and Themes:
- Subjects: ➤ Computer software - Computer science - Congresses - Information theory - Computational complexity - Artificial intelligence
Edition Specifications:
- Format: Paperback
- Weight: 1.1 pounds
- Dimensions: 9.1 x 6.1 x 0.7 inches
Edition Identifiers:
- The Open Library ID: OL9507900M - OL16992106W
- Online Computer Library Center (OCLC) ID: 38155324
- ISBN-13: 9783540638766
- ISBN-10: 3540638768
- All ISBNs: 3540638768 - 9783540638766
AI-generated Review of “Foundations of Software Technology and Theoretical Computer Science”:
Snippets and Summary:
The Queuing Shared Memory (qsm) model [8] consists of a number of identical processors, each with its own private memory, communicating by reading and writing locations in a shared memory.
"Foundations of Software Technology and Theoretical Computer Science" Description:
The Open Library:
This book constitutes the refereed proceedings of the 17th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'97. The 18 revised full papers presented were selected from a total of 68 submissions. Also included are five invited papers by Ed Clarke, Deepak Kapur, Madhu Sudan, Vijaya Ramachandran, and Moshe Vardi. Among the topics addressed are concurrency, Petri nets, graph computations, program verification, model checking, recursion theory, rewriting, and error-correcting codes.
Read “Foundations of Software Technology and Theoretical Computer Science”:
Read “Foundations of Software Technology and Theoretical Computer Science” by choosing from the options below.
Search for “Foundations of Software Technology and Theoretical Computer Science” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Foundations of Software Technology and Theoretical Computer Science” in Libraries Near You:
Read or borrow “Foundations of Software Technology and Theoretical Computer Science” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Foundations of Software Technology and Theoretical Computer Science” at a library near you.
Buy “Foundations of Software Technology and Theoretical Computer Science” online:
Shop for “Foundations of Software Technology and Theoretical Computer Science” on popular online marketplaces.
- Ebay: New and used books.