Formal methods for computational systems biology
: advanced lectures / 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2 - 7, 2008. Marco Bernardo ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5016)
ISBN 978-3-540-68894-5
Lizenzpflichtig
Quelle: DNB
Formal methods for computational systems biology
: advanced lectures / 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2 - 7, 2008. Marco Bernardo ... (ed.). - Berlin : Springer, 2008. - X, 523 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 5016 : Tutorial)
ISBN 978-3-540-68892-1 kart. : EUR 60.99 (freier Pr.), sfr 95.00 (freier Pr.)
Literaturangaben
Quelle: DNB
Formal methods for hardware verification
: advanced lectures / 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22 - 27, 2006. Marco Bernardo ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3965)
ISBN 978-3-540-34305-9
Lizenzpflichtig
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 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
