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
Language:English
Published: Berlin ; New York : Springer-Verlag, c1993.
Series:Lecture notes in computer science ; 735
Subjects:
Access:
Tags: Add Tag
No Tags, Be the first to tag this record!

MAIN

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