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 programmingShowing 1 featured edition. View all 1 editions?
| 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?
History
- Created April 30, 2008
- 10 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| July 13, 2024 | Edited by MARC Bot | import existing book |
| January 15, 2023 | Edited by ImportBot | import existing book |
| October 5, 2021 | Edited by ImportBot | import existing book |
| May 13, 2021 | Edited by ImportBot | import existing book |
| April 30, 2008 | Created by an anonymous user | Imported from amazon.com record |