Formal methods for open object based distributed systems
: 10th IFIP WG 6.1 international conference ; proceedings / FMOODS 2008, Oslo, Norway, June 4 - 6, 2008. Gilles Barthe ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5051)
ISBN 978-3-540-68863-1
Lizenzpflichtig
Quelle: DNB
Formal methods for open object based distributed systems
: 10th IFIP WG 6.1 international conference ; proceedings / FMOODS 2008, Oslo, Norway, June 4 - 6, 2008. Gilles Barthe ; Frank S. de Boer (ed.). - Berlin : Springer, 2008. - X, 258 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 5051)
ISBN 978-3-540-68862-4 kart. : EUR 67.41 (freier Pr.), sfr 105.00 (freier Pr.)
Literaturangaben
Quelle: DNB
Formal methods for performance evaluation
: advanced lectures / 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28 - June 2, 2007. Marco Bernardo ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4486)
ISBN 978-3-540-72522-0
Lizenzpflichtig
Quelle: DNB
Formal methods for real time and probabilistic systems
: proceedings / 5th International AMAST Workshop, ARTS '99, Bamberg, Germany, May 1999. J.-P. Katoen (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1601)
ISBN 978-3-540-48778-4
Lizenzpflichtig
Quelle: DNB
Formal methods for software architectures
: advanced lectures / Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22 - 27, 2003. Marco Bernardo ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2804)
ISBN 978-3-540-39800-4
Lizenzpflichtig
Quelle: DNB
Formal methods for the design of real time systems
: revised lectures / International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13 - 18, 2004. Marco Bernardo ; Flavio Corradini (ed.). - Berlin : Springer, 2004. - VI, 293 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3185 : Tutorial)
ISBN 978-3-540-23068-7 / 3-540-23068-8 kart. : EUR 49.22 (freier Pr.), sfr 84.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Formal methods - getting IT right
: proceedings / FME 2002, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22 - 24, 2002. Lars-Henrik Eriksson ; Peter Alexander Lindsay (ed.). - Berlin : Springer, 2002. - XI, 624 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2391)
ISBN 978-3-540-43928-8 / 3-540-43928-5 kart. : EUR 72.76
Literaturangaben
Quelle: DNB
Formal methods - getting IT right
: proceedings / FME 2002, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22 - 24, 2002. L.-H. Eriksson ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2391)
ISBN 978-3-540-45614-8
Lizenzpflichtig
Quelle: DNB
Formal methods in computer aided design
: 5th international conference ; proceedings / FMCAD 2004, Austin, Texas, USA, November 15 - 17, 2004. Alan J. Hu ; Andrew K. Martin (ed.). - Berlin : Springer, 2004. - XI, 444 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3312)
ISBN 978-3-540-23738-9 / 3-540-23738-0 kart. : ca. EUR 64.20 (freier Pr.), ca. sfr 106.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Formal methods in computer aided design
: third international conference ; proceedings / FMCAD 2000, Austin, TX, USA, November 1 - 3, 2000. Warren A. Hunt, jr. ; Steven D. Johnson (ed.). - Berlin : Springer, 2000. - XI, 537 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1954)
ISBN 978-3-540-41219-9 / 3-540-41219-0 kart. : DM 114.00
Literaturangaben
Quelle: DNB
