The Library of Congress > Linked Data Service > BIBFRAME Instances

Bibframe Instance

Title
Formal methods in programming and their applications international conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings
Type
Print
Identified By
Lccn: 93021317
Isbn: 354057316X
Isbn: 038757316X (U.S.)
Supplementary Content
Publisher description (locator)
Note
Physical details: ill.
Dimensions
24 cm.
Extent
ix, 433 p.
Provision Activity Statement
Berlin ; New York : Springer-Verlag, c1993.
Provision Activity
Publication: Germany 1993
Publication: BerlinNew York Springer-Verlag c1993
Responsibility Statement
Dines Bjørner, Manfred Broy, Igor V. Pottosin, eds
Issuance
single unit
Series Statement
Lecture notes in computer science
Acquisition Terms
DM 80
Authorized Access Point
Formal methods in programming and their applications