Formal Methods in Programming and Their Applications
International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings
Springer (Publisher)
Published on 1. November 1993
Book
Paperback/Softback
433 pages
978-0-387-57316-8 (ISBN)
More details
Series
Language
English
Place of publication
Germany
Product notice
Paperback (trade)
Unsewn / adhesive bound
ISBN-13
978-0-387-57316-8 (9780387573168)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification