CONCUR 2011 – Concurrency Theoryde Joost-Pieter KatoenMateriasLogic designInformation systemsComputer scienceSoftware engineeringComputer networksArtificial intelligenceParallel processing (electronic computers)Electronic data processingProgramming Languages, Compilers, InterpretersComputer Communication NetworksLogics and Meanings of ProgramsEdiciones (1)CONCUR 2011 – Concurrency Theory (2011)Springer-Verlag GmbH Berlin Heidelberg · inglés · ISBN 9783642232169Más obras de Joost-Pieter KatoenValidation of stochastic systemsFormal Methods for Real-Time and Probabilistic SystemsModelEd, TestEd, TrustEd
TTools and Algorithms for the Construction and Analysis of SyTools and Algorithms for the Construction and Analysis of Systems
