| 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
|
借閱次數
: 
點閱：7
評分：0
評論：0
引用：0
