Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993
You can change the cover of this book to suit your preferences.
Choose from existing covers.
Upload from your computer
Grab cover from a url
[]