Treffer: Logics of specification languages

Titel:

Logics of specification languages / Dines Bjørner ... ed.

Verantwortlich:

Veröffentlicht:

Berlin : Springer, 2008

Umfang:

XXI, 623 Seiten : Diagramme ; 235 mm x 155 mm

Publikationstyp:

Buch

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Monographs in theoretical computer science

Anmerkungen:

Literaturangaben

RVK-Notation:

Schlagworte:

ISBN:

3540741062 ; 9783540741060

Zusatz-Informationen