Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings

Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings


Book Informaton

Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings

Author

Dines Bjørner, Manfred Broy, Igor V. Pottosin

Series

Lecture Notes in Computer Science

Volume

735

Year of Publication

1993

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin; New York

Pages

433

Language

EN

ISBN

9783540573166, 9783540480563, 354057316X, 038757316X

ARI Id

1674219892247


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 5 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.