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 / 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 for industrial critical systems
: 12th international workshop ; revised selected papers / FMICS 2007, Berlin, Germany, July 1 - 2, 2007. Stefan Leue ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4916)
ISBN 978-3-540-79707-4
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
Formal methods in computer aided design
: second international conference ; proceedings / FMCAD '98, Palo Alto, CA, USA, November 4 - 6, 1998. Ganesh Gopalakrishnan ; Phillip Windley (ed.). - Berlin : Springer, 1998. - IX, 528 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1522)
ISBN 978-3-540-65191-8 / 3-540-65191-8 kart. : DM 106.00
Literaturangaben
Quelle: DNB
Formal methods in computer aided design
: third international conference ; proceedings / FMCAD 2000, Austin, TX, USA, November 2000. Warren A. Hunt ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1954)
ISBN 978-3-540-40922-9
Lizenzpflichtig
Quelle: DNB
Formal methods in computer aided design
: second international conference ; proceedings / FMCAD '98, Palo Alto, CA, USA, November 1998. Ganesh Gopalakrishnan ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1522)
ISBN 978-3-540-49519-2
Lizenzpflichtig
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