001 |
|
99696 |
020 |
|
|a9783642136771 (paper)
|
020 |
|
|a9783642136788 (electronic bk.)
|
050 |
04
|
|aQA76.9.F67|bI58 2010|cI61
|
082 |
04
|
|a005.131|222
|
090 |
|
|aQA76.9.F67|bI61 2010
|
809 |
|
|pEB|dQA76.9.F67|eI61|y2010
|
111 |
2
|
|aInternational School on Formal Methods for the Design of Computer, Communication, and Software Systems|n(10th :|d2010 :|cBertinoro, Italy)
|
245 |
10
|
|aFormal methods for quantitative aspects of programming languages|h[electronic resource] :|b10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures /|cedited by Alessandro Aldini ... [et al.].
|
246 |
30
|
|aSFM 2010
|
260 |
|
|aBerlin, Heidelberg :|bSpringer-Verlag Berlin Heidelberg,|c2010.
|
300 |
|
|a167 p. :|bill., digital ;|c24 cm.
|
440 |
0
|
|aLecture notes in computer science,|x0302-9743 ;|v6154
|
650 |
0
|
|aFormal methods (Computer science)|vCongresses.
|
650 |
0
|
|aProgramming languages (Electronic computers)|vCongresses.
|
650 |
14
|
|aComputer Science.
|
650 |
24
|
|aAntibodies.
|
650 |
24
|
|aInformation Systems Applications (incl.Internet)
|
650 |
24
|
|aMathematical Logic and Formal Languages.
|
650 |
24
|
|aProgramming Languages, Compilers, Interpreters.
|
650 |
24
|
|aSoftware Engineering.
|
650 |
24
|
|aSoftware Engineering/Programming and Operating Systems.
|
700 |
1
|
|aAldini, Alessandro.
|
710 |
2
|
|aSpringerLink (Online service)
|
773 |
0
|
|tSpringer eBooks
|
856 |
40
|
|uhttp://dx.doi.org/10.1007/978-3-642-13678-8
|
950 |
|
|aComputer Science (Springer-11645)
|
856 |
40
|
|uhttp://dx.doi.org/10.1007/978-3-642-13678-8
|