WFRF:(Chatterjee A.)
Search: WFRF:(Chatterjee A.) > Formal Modeling and...
- 29 of 38
- Previous record
- Next record
- To hitlist
Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings / edited by Krishnendu Chatterjee, Thomas A. Henzinger.
- Chatterjee, Krishnendu. (author)
- Henzinger, Thomas A. (author)
- ISBN 9783642152979
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
- English.
- Series: Lecture Notes in Computer Science, 0302-9743 ; 6246
- swepub:Mat__t
Subject headings
Close
Subject headings
- Computer science. (LCSH)
- Software engineering. (LCSH)
- Computer software. (LCSH)
- Logic design. (LCSH)
- Computer Science.
- Logics and Meanings of Programs.
- Software Engineering.
- Programming Languages, Compilers, Interpreters.
- Mathematical Logic and Formal Languages.
- Programming Techniques.
- Algorithm Analysis and Problem Complexity.
Find in a library
- Formal Modeling and Analysis of Timed Systems 8th International Conference, FORM... (Search the publication in LIBRIS)
To the university's database
- 29 of 38
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Chatterjee, Kris ...
- Henzinger, Thoma ...
- Parts in the series
- Lecture Notes in ...
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
