An edition of Automata, Languages and Programming
(1998)
Automata, Languages and Programming
25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings (Lecture Notes in Computer Science)
1 edition
by Kim G. Larsen, Sven Skyum, Glynn Winskel, G. Goos, and J. Hartmanis
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Machine theory, Congresses, Computer science, Mathematics, Programming languages (Electronic computers), Automates mathématiques, Théorie des, Congrès, Langages formels, Programmation (Informatique), Abstracte automaten, Programmeertalen, Theoretische Informatik, Kongress, Formal languages, Computer programming| Edition | Availability |
|---|---|
1
Automata, Languages and Programming: 25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings (Lecture Notes in Computer Science)
September 2, 1998, Springer
Paperback
in English
- 1 edition
3540647813 9783540647812
|
aaaa
Libraries near you:
WorldCat
|
Book Details
First Sentence
"Two brands of temporal logics have been proposed over the years for specifying the properties of reactive systems: the linear time brand LTL [GPSS80] and the branching time variant CTL [CE81]."
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| July 13, 2024 | Edited by MARC Bot | import existing book |
| October 5, 2021 | Edited by ImportBot | import existing book |
| May 13, 2021 | Edited by ImportBot | import existing book |
| July 28, 2014 | Created by ImportBot | import new book |