Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceeding by Dines BjørnerFormal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceeding by Dines Bjørner

Formal Methods in Programming and Their Applications: International Conference, Academgorodok…

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

Paperback | October 5, 1993

Pricing and Purchase Info

$140.44 online 
$154.95 list price save 9%
Earn 702 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Title:Formal Methods in Programming and Their Applications: International Conference, Academgorodok…Format:PaperbackDimensions:443 pagesPublished:October 5, 1993Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:354057316X

ISBN - 13:9783540573166

Look for similar items by category:

Reviews