Formal methods and hybrid real-time systems
: essays in honor of Dines Bjørner and Chaochen Zhou on the occasion of their 70th birthdays / Cliff B. Jones ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4700)
ISBN 978-3-540-75221-9
Lizenzpflichtig
Quelle: DNB
Formal methods and object technology
/ S. J. Goldsack and S. J. H. Kent (ed.). - London : Springer, 1996. - XVIII, 368 S. : graph. Darst.; 24 cm - (Formal approaches to computing and information technology)
ISBN 978-3-540-19977-9 / 3-540-19977-2 kart. : DM 88.00
Literaturverz. S. 336 - 356
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 ; 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
