Cover Image
Saved in:

Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings /

Bibliographic Details
Other Authors: Bjørner, D. 1937-, Broy, M., 1949-, Pottosin, I. V.
Format: Book
Published: Berlin ; New York : Springer-Verlag, c1993.
Series:Lecture notes in computer science ; 735
Tags: Add Tag
No Tags, Be the first to tag this record!


Print materials are only available via contactless pickup while the library building is closed.

For more information, visit our contactless pickup page.

Holdings details from MAIN
Call Number: QA76.6.F577 1993
Copy 1 Live Status Unavailable