Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings: 735 (Lecture Notes in Computer Science, 735) - Softcover
This volume comprises the papers selected for presentation at the international conference on Formal Methods in Programming and Their Applications, held in Academgorodok, Novosibirsk, Russia, June-July 1993. The conference was organized by the Institute of Informatics Systems of the Siberian Division of the Russian Academy of Sciences and was the first forum organized by the Institute which was entirely dedicated to formal methods. The main scientific tracks of the conference were centered around formal methods of program development and program construction. The papers in the book are grouped into the following parts: - formal semantics methods - algebraic specification methods - semantic program analysis and abstract interpretation - semantics of parallelism - logic of programs - software specification and verification - transformational development and program synthesis.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date1993
- ISBN 10 354057316X
- ISBN 13 9783540573166
- BindingPaperback
- Number of pages447
- EditorBjørner Dines, Broy Manfred, Pottosin Igor V.
Top Search Results from the AbeBooks Marketplace
Seller Image
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings (Lecture Notes in Computer Science (735)) by Broy, Manfred, Bjorner, Dines, Pottosin, Igor V. [Paperback ]
Seller:
Rating
Book Description Soft Cover. Condition: new. Seller Inventory # 9783540573166
Buy New
£ 47.93
Convert currency
Stock Image
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings (Lecture Notes in Computer Science, 735)
Published by
Springer
(1993)
ISBN 10: 354057316X
ISBN 13: 9783540573166
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Mar3113020171065
Buy New
£ 49.28
Convert currency
Stock Image
Formal Methods in Programming and Their Applications : International Conference; Academgorodok; Novosibirsk; Russia; June 28 - July 2; 1993. Proceedings
Published by
Springer
(1993)
ISBN 10: 354057316X
ISBN 13: 9783540573166
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540573166_lsuk
Buy New
£ 50.20
Convert currency
Seller Image
Formal Methods in Programming and Their Applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings
Published by
Springer Berlin Heidelberg
(1993)
ISBN 10: 354057316X
ISBN 13: 9783540573166
New
Taschenbuch
Quantity: 1
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume comprises the papers selected for presentationat the international conference on Formal Methods inProgramming and Their Applications, held in Academgorodok,Novosibirsk, Russia, June-July 1993. The conference wasorganized by the Institute of Informatics Systems of theSiberian Division of the Russian Academy of Sciences and wasthe first forum organized by the Institute which wasentirely dedicated to formal methods.The main scientific tracks of the conference were centeredaround formal methods of program development and programconstruction. The papers in the book are grouped intothe following parts:- formal semantics methods- algebraic specification methods- semantic program analysis and abstract interpretation- semantics of parallelism- logic of programs- software specification and verification- transformational development and program synthesis. Seller Inventory # 9783540573166
Buy New
£ 52.53
Convert currency
Seller Image
Formal Methods in Programming and Their Applications
Published by
Springer Berlin Heidelberg
(1993)
ISBN 10: 354057316X
ISBN 13: 9783540573166
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume comprises the papers selected for presentationat the international conference on Formal Methods inProgramming and Their Applications, held in Academgorodok,Novosibirsk, Russia, June-July 1993. The conference wasorganized by t. Seller Inventory # 4894275
Buy New
£ 42.69
Convert currency
Stock Image
Formal Methods in Programming and Their Applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedin
Seller:
Rating
Book Description PF. Condition: New. Seller Inventory # 6666-IUK-9783540573166
Buy New
£ 80.12
Convert currency
Seller Image
Formal Methods in Programming and Their Applications
Published by
Springer Berlin Heidelberg Okt 1993
(1993)
ISBN 10: 354057316X
ISBN 13: 9783540573166
New
Taschenbuch
Quantity: 2
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume comprises the papers selected for presentationat the international conference on Formal Methods inProgramming and Their Applications, held in Academgorodok,Novosibirsk, Russia, June-July 1993. The conference wasorganized by the Institute of Informatics Systems of theSiberian Division of the Russian Academy of Sciences and wasthe first forum organized by the Institute which wasentirely dedicated to formal methods.The main scientific tracks of the conference were centeredaround formal methods of program development and programconstruction. The papers in the book are grouped intothe following parts:- formal semantics methods- algebraic specification methods- semantic program analysis and abstract interpretation- semantics of parallelism- logic of programs- software specification and verification- transformational development and program synthesis. 452 pp. Englisch. Seller Inventory # 9783540573166
Buy New
£ 82.16
Convert currency