Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems

• Κύριος συγγραφέας: Bowman, Howard
• Άλλοι συγγραφείς: Gomez, Rodolfo
• Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
• Γλώσσα: English
• Έκδοση: London Springer-Verlag London Limited 2006
• Θέματα: Software engineering; Logic design; Computer Science; Software Engineering; Logics and Meanings of Programs