This book constitutes the refereed proceedings of the First International Conference on the Foundations of Software Science and Computation Structures, FoSSaCS'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998. The 19 revised full papers presented in the book were carefully selected from a total of 44 submissions. Among the topics covered are formal specification, automata theory, term rewriting and rewriting systems, process algebras, formal language theory, type theory, event structures, and iteration theory.
FREE Two-Day Shipping for Students. Learn more |
Book Description
Special Offers and Product Promotions
- Buy $50 in qualifying physical textbooks, get $5 in Amazon MP3 Credit. Here's how (restrictions apply)
Product Details
Would you like to update product info or give feedback on images?
|
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
First Sentence:
This section is a brief outline of some of the "basic ingredients" of domain theory and the applications that inspired them. Read the first page Key Phrases - Capitalized Phrases (CAPs): (learn more)
Lecture Notes, Springer Verlag, Pumping Lemma, Kolmogorov Complexity, New York, Technical Report, Imperial College, Mathematical Structures, Electronic Notes, Klaus Keimel, Else Read, Prefix Complexity, Proof Let, Springer Lect, World Scientific New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
This section is a brief outline of some of the "basic ingredients" of domain theory and the applications that inspired them. Read the first page Key Phrases - Capitalized Phrases (CAPs): (learn more)
Lecture Notes, Springer Verlag, Pumping Lemma, Kolmogorov Complexity, New York, Technical Report, Imperial College, Mathematical Structures, Electronic Notes, Klaus Keimel, Else Read, Prefix Complexity, Proof Let, Springer Lect, World Scientific New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Citations (learn more)
This book cites 36
books:
See all 36 books this book cites
- Communication and Concurrency (Prentice Hall International Series in Computer Science) by Robin Milner on page 34, page 109, and Back Matter
- Formal Languages (Computer science classics) by Arto Salomaa on page 47, page 242, and page 272
- Introduction to Automata Theory, Languages, and Computation (2nd Edition) by John E. Hopcroft on page 94, and page 257
- Algebraic Methods in Semantics by Maurice Nivat on page 170, and page 225
- Logics of Programs (Lecture Notes in Computer Science) by Rohit Parikh on page 225
See all 36 books this book cites
Books on Related Topics
(learn more)
|
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
So You'd Like to...
Look for Similar Items by Category
- Books > Computers & Technology > Computer Science
- Books > Computers & Technology > Programming > Languages & Tools
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Software Development
- Books > Computers & Technology > Software
- Books > New & Used Textbooks > Computer Science
- Books > Science & Math > Mathematics
