Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
by
Abdulla, Parosh Aziz. editor.
Title
:
Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
Author
:
Abdulla, Parosh Aziz. editor.
ISBN
:
9783642410369
Physical Description
:
XII, 223 p. 60 illus. online resource.
Series
:
Lecture Notes in Computer Science, 8169
Subject Term
:
Computer science.
Software engineering.
Computer software.
Logic design.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Added Author
:
Potapov, Igor.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
---|
Online Library | E-Book | 335046-1001 | ONLINE(335046.1) | | Elektronik Kütüphane |