Formal Methods and Software Engineering [E-Book] : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings / edited by Jin Song Dong, Huibiao Zhu.
Dong, Jin Song.
Zhu, Huibiao.
Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
online resource
englisch
9783642169014
Lecture notes in computer science ; 6447
Full Text
LEADER 01100nmm a22002895u 4500
001 u231235
003 Springer
020 |a 9783642169014 
035 |a (Sirsi) a297160 
035 |a i9783642169014 
041 |a eng 
245 1 0 |a Formal Methods and Software Engineering  |h [E-Book] :  |b 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings /  |c edited by Jin Song Dong, Huibiao Zhu. 
260 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg,  |c 2010.  |e (Springer LINK) 
300 |a online resource 
490 |a Lecture notes in computer science ;  |v 6447 
500 |a englisch 
596 |a 1 
650 0 |a Computer Communication Networks 
650 0 |a Computer science 
650 0 |a Computer software 
650 0 |a Software engineering 
700 1 |a Dong, Jin Song. 
700 1 |a Zhu, Huibiao. 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-16901-4  |z Volltext 
908 |a Konferenz 
915 |a zzwFZJ2 
949 |a XX(297160.1)  |w AUTO  |c 1  |i 297160-1001  |l ELECTRONIC  |m ZB  |r N  |s Y  |t E-BOOK  |u 26/7/2012  |x UNKNOWN  |z UNKNOWN  |1 ONLINE  |2 KONFERENZ