Suchfeld einblenden
Person Cuellar, Jorge Ricardo
1 Treffer
Seite < 1 >
Formal methods
: proceedings / FM 2008, 15th International Symposium on Formal Methods, Turku, Finland, May 26 - 30, 2008. Jorge Cuellar ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5014)
ISBN 978-3-540-68237-0
Lizenzpflichtig
Quelle: DNB
Seite < 1 >