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
: 
http://dx.doi.org/10.1007/978-3-642-41036-9


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book335046-1001ONLINE(335046.1)Elektronik Kütüphane