Theories of Programming and Formal Methods

✍ Scribed by Zhiming Liu, Jim Woodcock, Huibiao Zhu

Publisher: Springer
Year: 2013
Tongue: English
Leaves: 422
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

This Festschrift volume, dedicated to He Jifeng on the occasion of his 70th birthday in September 2013, includes 24 refereed papers by leading researchers, current and former colleagues, who congratulated at a celebratory symposium held in Shanghai, China, in the course of the 10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013. The papers cover a broad spectrum of subjects, from foundational and theoretical topics to programs and systems issues and to applications, comprising formal methods, software and systems modeling, semantics, laws of programming, specification and verification, as well as logics.

📜 SIMILAR VOLUMES

Programming Language Theory and Formal M

📁 Programming Language Theory and Formal Methods

✍ Zoran Gacovski 📂 Library 📅 2023 🏛 AclerPress 🌐 English

In this book - we present topics formal grammars in programming, programming languages semantics, finite automata, and formal methods and semantics in distributed software. Section 1 focuses on formal methods in programming, describing integrating formal methods in XP (extreme programming) - a conce

Programming Language Theory and Formal M

📁 Programming Language Theory and Formal Methods

✍ Zoran Gacovski 📂 Library 📅 2023 🏛 Arcler Press 🌐 English

Extension Theory of Formally Normal and

📁 Extension Theory of Formally Normal and Symmetric Subspaces

✍ Earl A. Coddington 📂 Library 📅 1973 🏛 Amer Mathematical Society 🌐 English

Unifying Theories of Programming and For

📁 Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC

✍ Zhiming Liu, Jim Woodcock, Huibiao Zhu 📂 Library 📅 2013 🏛 Springer 🌐 English

This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.The lectures are aimed at postgraduate students, researchers, academics, and in

Mathematical Programming: Theory and Met

📁 Mathematical Programming: Theory and Methods

✍ S. M. Sinha 📂 Library 📅 2006 🏛 Elsevier Science 🌐 English

Mathematical Programming, a branch of Operations Research, is perhaps the most efficient technique in making optimal decisions. It has a very wide application in the analysis of management problems, in business and industry, in economic studies, in military problems and in many other fields of our p

Separable Programming: Theory and Method

📁 Separable Programming: Theory and Methods

✍ Stefan M. Stefanov (auth.) 📂 Library 📅 2001 🏛 Springer US 🌐 English

<p>In this book, the author considers separable programming and, in particular, one of its important cases - convex separable programming. Some general results are presented, techniques of approximating the separable problem by linear programming and dynamic programming are considered. <br/> Convex