Suchfeld einblenden
Person Namjoshi, Kedar S.
1 Treffer
Seite < 1 >
Automated technology for verification and analysis
: 5th international symposium ; proceedings / ATVA 2007, Tokyo, Japan, October 22 - 25, 2007. Kedar S. Namjoshi ... (ed.). - Berlin : Springer, 2007. - XIV, 566 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4762)
ISBN 978-3-540-75595-1 / 3-540-75595-0 kart. : EUR 72.76 (freier Pr.), ca. sfr 118.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Seite < 1 >
