• Home
  • About us
  • Your Publication
  • Catalogue
  • Newsletter
  • Help
  • Account
  • Contact / Imprint
Thesis - Publication series - Conference proceedings - Reference book - Lecture notes/Textbook - Journal - CD-/DVD-ROM - Online publication
Newsletter for authors and editors - New publications service - Archive
View basket
Catalogue : Details

Jan Peleska

Tools for System Development and Verification

Workshop, 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:
  » plus shipping costs
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:
Text
BibTex
RIS