Formal methods and software engineering
: proceedings / 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5 - 7, 2003. Jin Song Dong ; Jim Woodcock (ed.). - Berlin : Springer, 2003. - XI, 681 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2885)
ISBN 978-3-540-20461-9 / 3-540-20461-X kart. : EUR 79.18
Literaturangaben
Quelle: DNB
Formal methods and software engineering
: proceedings / 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5 - 7, 2003. Jin Song Dong ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2885)
ISBN 978-3-540-39893-6
Lizenzpflichtig
Quelle: DNB
Formal methods and software engineering
: proceedings / 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21 - 25, 2002. C. George ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2495)
ISBN 978-3-540-36103-9
Lizenzpflichtig
Quelle: DNB
Formal methods and software engineering
: proceedings / 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1 - 3, 2006. Zhiming Liu ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4260)
ISBN 978-3-540-47462-3
Lizenzpflichtig
Quelle: DNB
Formal methods and software engineering
: proceedings / 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27 - 31, 2008. Shaoying Liu ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5256)
ISBN 978-3-540-88194-0
Lizenzpflichtig
Quelle: DNB
Formal methods and software engineering
: proceedings / 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8 - 12, 2004. Jim Davies ... (ed.). - Berlin : Springer, 2004. - XIII, 500 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3308)
ISBN 978-3-540-23841-6 / 3-540-23841-7 : EUR 68.48 (freier Pr.), sfr 113.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Formal methods and stochastic models for performance evaluation
: proceedings / Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 2007. Katinka Wolter (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4748)
ISBN 978-3-540-75211-0
Lizenzpflichtig
Quelle: DNB
Formal methods and stochastic models for performance evaluation
: proceedings / Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21 - 22, 2006. András Horváth ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4054)
ISBN 978-3-540-35365-2
Lizenzpflichtig
Quelle: DNB
Formal methods and testing
: an outcome of the FORTEST network ; revised selected papers / Robert M. Hierons ... (ed.). - Berlin : Springer, 2008. - XI, 366 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4949)
ISBN 978-3-540-78916-1 kart. : EUR 55.64 (freier Pr.), sfr 91.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Formal methods applications and technology
: 11th international workshop and 5th international workshop ; revised selected papers / FMICS 2006, PDMC 2006, Bonn, Germany, August 26 - 27, and August 31, 2006. Luboš Brim ... (ed.). - Berlin : Springer, 2007. - X, 361 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4346)
ISBN 978-3-540-70951-0 / 3-540-70951-7 kart. : EUR 55.64 (freier Pr.), sfr 85.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
