Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993 : Proceedings (Lecture Notes in Computer Science, 735) - Softcover
Formal Methods in Programming and Their Applications This volume contains the papers selected for presentation at an international conference organized by the Institute of Informatics Systems of the Siberian Division of the Russian Academy of Sciences. Topics discussed include semantics, software specification and program logic. Full description
"synopsis" may belong to another edition of this title.
- PublisherSpringer Verlag
- Publication date1993
- ISBN 10 038757316X
- ISBN 13 9780387573168
- BindingPaperback
- Number of pages433
- EditorBjorner Dines, Broy Manfred, Pottosin Igor V.
Buy New
Learn more about this copy
£ 91.42
Shipping:
£ 3.20
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Stock Image
Formal Methods in Programming and Their Applications
Seller:
Rating
Book Description Condition: New. pp. ix + 433. Seller Inventory # 2650369446
Buy New
£ 91.42
Convert currency
Stock Image
Formal Methods in Programming and Their Applications
Seller:
Rating
Book Description Condition: New. pp. ix + 433 Illus. Seller Inventory # 58141817
Buy New
£ 100.70
Convert currency