Applying formal methods
: testing, performance and M/E commerce ; proceedings / FORTE 2004 Workshops The FormEMC ..., Toledo, Spain, October 1 - 2, 2004. Manuel Núnez ... (ed.). - Berlin : Springer, 2004. - XI, 379 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3236)
ISBN 978-3-540-23169-1 / 3-540-23169-2 kart. : EUR 55.64 (freier Pr.), sfr 92.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen