Catalogue : Details
 | Jan PeleskaTools for System Development and VerificationWorkshop, Proceedings, Bremen, Germany July 1996 | ||||||
|---|---|---|---|---|---|---|---|
| ISBN: | 978-3-8265-3806-3 | ||||||
| Series: | BISS Monographs Herausgeber: Prof. Dr. Bernd Krieg-Brückner Bremen | ||||||
| Volume: | 1 | ||||||
| Keywords: | Informatik; Formale Methoden und Werkzeuge; Sichere Systeme; Formal Methods; Tools; System Development; Verification; Validation; Test | ||||||
| Type of publication: | Fachpublikation | ||||||
| Language: | German | ||||||
| Pages: | 220 pages | ||||||
| Weight: | 330 g | ||||||
| Format: | 20,5 x 14,5 cm | ||||||
| Bindung: | Paperback | ||||||
| Price: | 19,50 € / 39,00 SFr | ||||||
| Published: | May 1998 | ||||||
| Buy: | |||||||
| Recommendation: | You want to recommend this title? | ||||||
| Review copy: | Here you can order a review copy. | ||||||
| Link: | You want to link this page? Click here. | ||||||
| Export citations: |
|