Header

Shop : Details

Shop
Details
978-3-8265-3806-3
19,50 €
ISBN 978-3-8265-3806-3
Paperback
220 Seiten
330 g
20,5 x 14,5 cm
Deutsch
Fachpublikation
Mai 1998
Jan Peleska
Tools for System Development and Verification
Workshop, Proceedings, Bremen, Germany July 1996
Schlagwörter: Informatik; Formale Methoden und Werkzeuge; Sichere Systeme; Formal Methods; Tools; System Development; Verification; Validation; Test
BISS Monographs
Herausgegeben von Prof. Dr. Bernd Krieg-Brückner, Bremen
Band 1
Export bibliographischer Daten
Shaker Verlag GmbH
Am Langen Graben 15a
52353 Düren
  +49 2421 99011 9
Mo. - Do. 8:00 Uhr bis 16:00 Uhr
Fr. 8:00 Uhr bis 15:00 Uhr
Kontaktieren Sie uns. Wir helfen Ihnen gerne weiter.
Captcha
Social Media