Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings

• Κύριος συγγραφέας: Frappier, Marc
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: GlΓ€sser, Uwe, Khurshid, Sarfraz, Laleau, RΓ©gine, Reeves, Steve
• Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
• Σειρά: Lecture Notes in Computer Science 5977
• Θέματα: Computer science; Computer software; Logic design; Computational complexity; Computer Science; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Algorithm Analysis and Problem Complexity; Computation by Abstract Devices; Mathematics of Computing; Discrete Mathematics in Computer Science