Result: Abstract software specifications

*Title*:

Abstract software specifications : 1979 Copenhagen winter school, January 22 - February 2, 1979 ; proceedings / ed. by D. Bjørner

*Author/editor-in-chief*:

*Corporate*:

*Publication*:

Berlin [u.a.] : Springer, 1980

*Physical description scale*:

XI, 566 S. : graph. Darst. ; 25 cm

*Format*:

*book*

*Language*:

*eng*

*series_multipart*:

Lecture notes in computer science ; 86
*show_all_volumes*

*Notes*:

Literaturangaben.

*RVK-Notation*:

*ISBN*:

3540100075 ; 0387100075

*Result*: Abstract software specifications