Proof in VDM a practitioner's guide

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Bicarregui, Juan C. (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	London u.a. Springer 1994
Schriftenreihe:	Formal approaches to computing and information technology, FACIT
Schlagworte:	Automatic theorem proving > Computer software > Development > System design > VDM
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	XVI, 362 S.
ISBN:	354019813X 3-540-19813-X 038719813X 0-387-19813-X