• 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

Kolyang

HOL-Z, an Integrated Formal Support Environment for Z in Isabelle/HOL

ISBN:978-3-8265-4068-4
Series:BISS Monographs
Herausgeber: Prof. Dr. Bernd Krieg-Brückner
Bremen
Volume:4
Keywords:Formal Methods; Z; HOL; Higher.Order-Logic; Embedding
Type of publication:Thesis
Language:English
Pages:134 pages
Figures:38 figures
Weight:198 g
Format:20,5 x 14,5 cm
Bindung:Paperback
Price:44,50 € / 89,00 SFr
Published:March 1999
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
» more titles from Kolyang