Header

Shop : Details

Shop
Details
978-3-8265-3806-3
19,50 €
ISBN 978-3-8265-3806-3
Softcover
220 pages
330 g
20,5 x 14,5 cm
German
Fachpublikation
May 1998
Jan Peleska
Tools for System Development and Verification
Workshop, Proceedings, Bremen, Germany July 1996
Keywords: Informatik; Formale Methoden und Werkzeuge; Sichere Systeme; Formal Methods; Tools; System Development; Verification; Validation; Test
BISS Monographs
Edited by Prof. Dr. Bernd Krieg-Brückner, Bremen
Volume 1
Export of bibliographic data
Shaker Verlag GmbH
Am Langen Graben 15a
52353 Düren
Germany
  +49 2421 99011 9
Mon. - Thurs. 8:00 a.m. to 4:00 p.m.
Fri. 8:00 a.m. to 3:00 p.m.
Contact us. We will be happy to help you.
Captcha
Social Media