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

• Main Author: Aldini, Alessandro
• Corporate Author: SpringerLink (Online service)
• Other Authors: Bernardo, Marco, Pierro, Alessandra, Wiklicky, Herbert
• Format: Electronic Kit Book
• Language: English
• Published: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
• Series: Lecture Notes in Computer Science 6154
• Subjects: 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)