Shelfclass_id |
3.A |
Sortkey |
BJØRNER, DINES |
Authors |
Editors: Dines Bjørner, Manfred Broy, Igor V. Pottosin |
Title |
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings |
Publisher |
Springer-Verlag |
Year |
1993 |
Languages |
eng |
Isbn |
038757316, 354057316 |
Series |
Lecture Notes in Computer Science |
Volume |
735 |
Issn |
0302-9743 |
Description |
X X ix, 433 p. ill. 24 cm |
Record date |
20110310 |
Location |
New York |
Keywords |
Computer programming, Formal methods (Computer science) |
Notes |
Björner, Bjorner, Akademgorodok |
Urlnote |
Publisher description |
Urls |
http://www.loc.gov/catdir/enhancements/fy0815/93021317-d.html |