Research Catalog
Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings
- Title
- Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings / Dines Bjørner, Mandred Broy, Igor V. Pottosin, eds.
- Publication
- Berlin ; New York : Springer-Verlag, c1993.
Items in the Library & Off-site
Filter by
1 Item
Status | Format | Access | Call Number | Item Location |
---|---|---|---|---|
Text | Request in advance | JSE 94-132 | Offsite |
Details
- Additional Authors
- Description
- ix, 433 p. : ill.; 24 cm.
- Series Statement
- Lecture notes in computer science ; 735
- Subject
- Call Number
- JSE 94-132
- ISBN
- 354057316X
- 038757316X (U.S.)
- LCCN
- 93021317
- OCLC
- 28851396
- NYPG94-B8556
- Title
- Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings / Dines Bjørner, Mandred Broy, Igor V. Pottosin, eds.
- Imprint
- Berlin ; New York : Springer-Verlag, c1993.
- Series
- Lecture notes in computer science ; 735
- Added Author
- Bjørner, D. (Dines), 1937-Broy, M., 1949-Pottosin, I. V.
- Research Call Number
- JSE 94-132