Result: Logics of specification languages

*Title*:

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

*Author/editor-in-chief*:

*Publication*:

Berlin : Springer, 2008

*Physical description scale*:

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

*Format*:

*book*

*Language*:

*eng*

*series_multipart*:

Monographs in theoretical computer science

*Notes*:

Literaturangaben

*RVK-Notation*:

*Subject Added Keywords*:

*ISBN*:

3540741062 ; 9783540741060

*Result*: Logics of specification languages