Normal view MARC view ISBD view

Formal methods in programming and their applications : international conference proceedings, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 / edited by Dines Bjotnr, Manfred Broy and Igor V. Pottosin

Formal methods in programming and their applications : international conference proceedings, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 / edited by Dines Bjotnr, Manfred Broy and Igor V. Pottosin - - Berlin Springer-Verlag 1993 - ix,434 p. 23 cm - Lecture notes in computer science ; v.735 .

ISBN: 3-540-57316-X0

Subjects--Topical Terms:

Programming languages(Electronic computers)-Congresses

Universal Decimal Class. No.: 681.3.06 For:93

Print
Add to your cart (remove)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)