Formal Methods In Programming And Their Applications International Conference Academgorodok Novosibirsk Russia June 28 July 1993 Proceedings LNCS 735(1st Edition)
Authors:
Dines Bjorner ,Manfred Broy ,Igor V. Pottosin
In Stock
Include with your book
Free shipping: April 06, 2024Popular items with books
Total Price:
$0
Book details
ISBN: 354057316X, 978-3540573166
Book publisher: Springer
Formal Methods In Programming And Their Applications International Conference Academgorodok Novosibirsk Russia June 28 July 1993 Proceedings LNCS 735 1st Edition Summary: 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.
Customers also bought these books
Frequently Bought Together
Introduction to Statistical Quality Control - 8th edition
Douglas C. Montgomery
ISBN: 1119399300, 1-119-39930-8 , 9781119399308 , 978-1119592785
$0 $141.00
Are You Safe Pharmacovigilance - 1st Edition
Rajesh Kumar Mukherjee
ISBN: B0CST4Q1ZL, 979-8876449887
$0 $14.86
PHYSICS OF EVERYDAY PHENOMENA - Paperback ? International Edition, January 24, 201
W. Thomas Griffith
ISBN: 126008521X, 9781260085211
$0 $40.00
Introduction to Financial Accounting - 11th edition
Charles Horngren
ISBN: 978-0133251111, 013325111X, 0133251039, 978-0133251036
$0 $339.99
Fibromyalgia Diet For Women A Comprehensive Dietary Approach For Managing Chronic Pain Fatigue Sleep Disturbances Cognitive Challenges And Mood Disturbances - 1st Edition
Pamela Biggs
ISBN: B0C9SGWXQG, 979-8851688690
$0 $11.99
Logic Programming And Automated Reasoning 5th International Conference LPAR 94 Kiev Ukraine July 1994 Proceedings LNAI 822 - 1st Edition
Frank Pfenning
ISBN: 3540582169, 978-3540582168
$0 $49.73
?Prasacco 4 Pieces Football Down Indicator Wristband Referee For Sports Match Accessories -
?Prasacco
ISBN: B0CLR84RQM
$0 $60.00Top Reviews for Books
