Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

• Κύριος συγγραφέας: Aldini, Alessandro
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Bernardo, Marco, Pierro, Alessandra, Wiklicky, Herbert
• Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
• Σειρά: Lecture Notes in Computer Science 6154
• Θέματα: Computer science; Αντισώματα, Μονοκλωνικά; Software engineering; Information systems; Computer Science; Software Engineering; Software Engineering/Programming and Operating Systems; Αντισώματα; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Information Systems Applications (incl.Internet)
• Φυσική περιγραφή: v.: digital
• ISBN: 9783642136788
• ISSN: 0302-9743