Cover Image

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 /

This book presents a set of 4 papers accompanying the lectures of leading researchers given at the 10th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, held in Bertinoro, Italy, in June 2010. SFM 2010 was devoted to form...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Aldini, Alessandro. (Editor), Bernardo, Marco. (Editor), Pierro, Alessandra. (Editor), Wiklicky, Herbert. (Editor)
Format: Electronic
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Series:Lecture Notes in Computer Science, 6154
Subjects:
Computer science.
Monoclonal antibodies.
Software engineering.
Information systems.
Computer Science.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Antibodies.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Information Systems Applications (incl.Internet).
Online Access:https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-13678-8
LEADER 02753nam a22005535i 4500
001 10834
003 DE-He213
005 20130725200627.0
007 cr nn 008mamaa
008 100625s2010 gw | s |||| 0|eng d
020 # # |a 9783642136788  |9 978-3-642-13678-8 
024 7 # |a 10.1007/978-3-642-13678-8  |2 doi 
050 # 4 |a QA76.758 
072 # 7 |a UMZ  |2 bicssc 
072 # 7 |a COM051230  |2 bisacsh 
082 0 4 |a 005.1  |2 23 
100 1 # |a Aldini, Alessandro.  |e editor. 
245 1 0 |a Formal Methods for Quantitative Aspects of Programming Languages  |b 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 /  |c edited by Alessandro Aldini, Marco Bernardo, Alessandra Pierro, Herbert Wiklicky.  |h [electronic resource] : 
264 # 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg,  |c 2010. 
300 # # |a VII, 169p. 31 illus.  |b online resource. 
336 # # |a text  |b txt  |2 rdacontent 
337 # # |a computer  |b c  |2 rdamedia 
338 # # |a online resource  |b cr  |2 rdacarrier 
347 # # |a text file  |b PDF  |2 rda 
490 1 # |a Lecture Notes in Computer Science,  |v 6154  |x 0302-9743 ; 
520 # # |a This book presents a set of 4 papers accompanying the lectures of leading researchers given at the 10th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, held in Bertinoro, Italy, in June 2010. SFM 2010 was devoted to formal methods for quantitative aspects of programming languages and covered several topics including probabilistic and timed models, model checking, static analysis, quantum computing, real-time and embedded systems, and security. 
650 # 0 |a Computer science. 
650 # 0 |a Monoclonal antibodies. 
650 # 0 |a Software engineering. 
650 # 0 |a Information systems. 
650 1 4 |a Computer Science. 
650 2 4 |a Software Engineering. 
650 2 4 |a Software Engineering/Programming and Operating Systems. 
650 2 4 |a Antibodies. 
650 2 4 |a Mathematical Logic and Formal Languages. 
650 2 4 |a Programming Languages, Compilers, Interpreters. 
650 2 4 |a Information Systems Applications (incl.Internet). 
700 1 # |a Bernardo, Marco.  |e editor. 
700 1 # |a Pierro, Alessandra.  |e editor. 
700 1 # |a Wiklicky, Herbert.  |e editor. 
710 2 # |a SpringerLink (Online service) 
773 0 # |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9783642136771 
830 # 0 |a Lecture Notes in Computer Science,  |v 6154  |x 0302-9743 ; 
856 4 0 |u https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-13678-8 
912 # # |a ZDB-2-SCS 
912 # # |a ZDB-2-LNC 
950 # # |a Computer Science (Springer-11645) 

Similar Items