Validation of Stochastic Systems A Guide to Current Research /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Baier, Christel (Επιμελητής έκδοσης), Haverkort, Boudewijn R. (Επιμελητής έκδοσης), Hermanns, Holger (Επιμελητής έκδοσης), Katoen, Joost-Pieter (Επιμελητής έκδοσης), Siegle, Markus (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
• Σειρά: Lecture Notes in Computer Science, 2925
• Θέματα: Mathematics.; Microprocessors.; Software engineering.; Operating systems (Computers).; Computers.; Computer logic.; Probabilities.; Probability Theory and Stochastic Processes.; Computation by Abstract Devices.; Logics and Meanings of Programs.; Software Engineering.; Operating Systems.; Processor Architectures.
• Φυσική περιγραφή: VIII, 470 p. online resource.
• ISBN: 9783540246114
• ISSN: 0302-9743 ;