Applied Formal Methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings /

Sábháilte in:
Sonraí bibleagrafaíochta
Príomhchruthaitheoir: Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann (edición)
Formáid: LEABHAR
Teanga:Béarla
Foilsithe / Cruthaithe: Berlín, Alemania : Springer, 1999, c1999
Sraith:(Lecture Notes in Computer Science)
Rochtain ar líne:Ver documento en línea
Clibeanna: Cuir clib leis
Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!