Validation of Stochastic Systems A Guide to Current Research /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Baier, Christel (Editor), Haverkort, Boudewijn R. (Editor), Hermanns, Holger (Editor), Katoen, Joost-Pieter (Editor), Siegle, Markus (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
• Series: Lecture Notes in Computer Science, 2925
• Subjects: 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.
• Physical Description: VIII, 470 p. online resource.
• ISBN: 9783540246114
• ISSN: 0302-9743 ;