Logics of specification languages

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Bjørner, Dines (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin u.a. Springer 2008
Schriftenreihe:	Monographs in theoretical computer science
Schlagworte:	Spezifikationssprache > Logik > Formale Methode > Aufsatzsammlung
Online Zugang:	Inhaltsverzeichnis Kapitel 1
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!