Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9 - 13, 1996 ; proceedings

Bibliographic Details
Other Involved Persons: Jonsson, Bengt
Format: eBook
Language:English
Published: Berlin [u.a.] : Springer 1996
ISBN:3540616489
9783540616481
Series:Lecture notes in computer science 1135
Item Description:Literaturangaben
Physical Description:Online-Ressource (X, 478 S.)
DOI:10.1007/3-540-61648-9
Subjects:
Computer Science
Processor Architectures
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Special Purpose and Application-Based Systems
Operating Systems
Memory Structures
Konferenzschrift
Fehlertoleranz
Other Editions:Show all 6 Editions
QR Code: Show QR Code
Cover Image

Ilmenau University Library, Online

Holdings details from Universitätsbibliothek Ilmenau, Online
Shelf Mark: -
Notes: Campuslizenz TU Ilmenau
Online Access: http://www.springerlink.com/content/kv58811l1p85 [Lizenzpflichtig]
Online Access: http://www.springerlink.de/openurl.asp?genre=book&isbn=978-3-540-61648-1 [Lizenzpflichtig]
Online Access: http://dx.doi.org/10.1007/3-540-61648-9 [Lizenzpflichtig]
Availability: Available - Online.
Show all 6 Editions
Feedback Delivery Service Acquisition Suggestion