Formal techniques for networked and distributed systems
: 23rd IFIP WG 6.1 international conference ; proceedings / FORTE 2003, Berlin, Germany, September 29 - October 2, 2003. Hartmut König ... (ed.). - Berlin : Springer, 2003. - XII, 429 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2767)
ISBN 978-3-540-20175-5 / 3-540-20175-0 kart. : EUR 77.04
Literaturangaben
Quelle: DNB
Formal techniques for networked and distributed systems
: 28th IFIP WG 6.1 international conference ; proceedings / FORTE 2008, Tokyo, Japan, June 10 - 13, 2008. Kenji Suzuki ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5048)
ISBN 978-3-540-68855-6
Lizenzpflichtig
Quelle: DNB
Formal techniques for networked and distributed systems
: 28th IFIP WG 6.1 international conference ; proceedings / FORTE 2008, Tokyo, Japan, June 10 - 13, 2008. Kenji Suzuki ... (ed.). - Berlin : Springer, 2008. - XI, 339 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 5048)
ISBN 978-3-540-68854-9 kart. : EUR 78.11
Literaturangaben
Quelle: DNB
Formal techniques in real time and fault tolerant systems
: 5th international symposium ; proceedings / FTRTFT '98, Lyngby, Denmark, September 14 - 18, 1998. Anders P. Ravn ; Hans Rischel (ed.). - Berlin : Springer, 1998. - VIII, 338 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; 1486)
ISBN 978-3-540-65003-4 / 3-540-65003-2 kart. : DM 74.00
Literaturangaben
Quelle: DNB
Formal techniques in real time and fault tolerant systems
: 7th international symposium ; proceedings / FTRTFT 2002 ..., Oldenburg, Germany, September 9 - 12, 2002. W. Damm ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2469)
ISBN 978-3-540-45739-8
Lizenzpflichtig
Quelle: DNB
Formal techniques in real time and fault tolerant systems
: 6th international symposium ; proceedings / FTRTFT 2000, Pune, India, September 20 - 22, 2000. M. Joseph (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1926)
ISBN 978-3-540-45352-9
Lizenzpflichtig
Quelle: DNB
Formal techniques in real time and fault tolerant systems
: 5th international symposium ; proceedings / FTRTFT '98, Lyngby, Denmark, September 1998. A. P. Ravn ... (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1486)
ISBN 978-3-540-49792-9
Lizenzpflichtig
Quelle: DNB
Formal techniques in real time and fault tolerant systems
: 6th international symposium ; proceedings / FTRTFT 2000, Pune, India, September 20 - 22, 2000. Mathai Joseph (ed.). - Berlin : Springer, 2000. - X, 303 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1926)
ISBN 978-3-540-41055-3 / 3-540-41055-4 kart. : DM 82.00
Literaturangaben
Quelle: DNB
Formal techniques, modelling and analysis of timed and fault tolerant systems
: proceedings / Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22 - 24, 2004. Yassine Lakhnech ; Sergio Yovine (ed.). - Berlin : Springer, 2004. - X, 395 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3253)
ISBN 978-3-540-23167-7 / 3-540-23167-6 kart. : EUR 59.92 (freier Pr.), sfr 99.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Foundations of empirical software engineering
: the legacy of Victor R. Basili ; with 21 tables / Barry Boehm ... (ed.). - Berlin : Springer, 2005. - IX, 431 S.; 24 cm
ISBN 978-3-540-24547-6 / 3-540-24547-2 Pp. : EUR 80.20 (freier Pr.), sfr 127.00 (freier Pr.)
Quelle: DNB Verlagsmeldungen
