Bernd Krieg-BrücknerAlgebraic System Specification and DevelopmentSurvey and Annotated Bibliography 2nd Edition, 1997 | |||||||
ISBN: | 978-3-8265-4067-7 | ||||||
Series: | BISS Monographs Herausgeber: Prof. Dr. Bernd Krieg-Brückner Bremen | ||||||
Volume: | 3 | ||||||
Keywords: | Informatik; Sichere Systeme; Formale Spezifikation; Programmentwicklung | ||||||
Type of publication: | Fachpublikation | ||||||
Language: | English | ||||||
Pages: | 242 pages | ||||||
Weight: | 360 g | ||||||
Format: | 20,5 x 14,5 cm | ||||||
Bindung: | Paperback | ||||||
Price: | 49,00 € / 98,00 SFr | ||||||
Published: | August 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: |
|