Suchfeld einblenden
Person Araki, Keijiro
1 Treffer
Seite < 1 >
Formal methods
: proceedings / FME 2003, International Symposium of Formal Methods Europe, Pisa, Italy, September 8 - 14, 2003. Keijiro Araki ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2805)
ISBN 978-3-540-45236-2
Lizenzpflichtig
Quelle: DNB
Seite < 1 >