Unifying Theories of Programming and Formal Engineering Methods
International Training School on Software Engineering, Held at ICTAC
| Price | $59.64 - $64.99
|
| Rating |   |
| Authors | Zhiming Liu, Jim Woodcock, Huibiao Zhu |
| Publisher | Springer |
| Published | 2013 |
| Pages | 283 |
| Language | English |
| Format | Paper book / ebook (PDF) |
| ISBN-10 | 3642397204 |
| ISBN-13 | 9783642397202 |
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 industrial engineers. They cover topics such as component-based and service-oriented systems, real-time systems, hybrid systems, cyber physical systems, and present techniques such as inductive theorem proving, model checking, correction by construction through refinement and model transformations, synthesis, and computer algebra. Two of the courses are explicitly related to Hoare and He's Unifying Theories of Programming.
- Zhiming Liu (2 books)
- Jim Woodcock (2 books)
- Huibiao Zhu (2 books)
4 5 2
Similar Books
Theories of Programming and Formal Methods
by Zhiming Liu, Jim Woodcock, Huibiao Zhu
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 Comput...
Price: $65.14 | Publisher: Springer | Release: 2013
Learn Programming in Python with Cody Jackson
by Cody Jackson
Python is a cross-platform language used by organizations such as Google and NASA. It lets you work quickly and efficiently, allowing you to concentrate on your work rather than the language. Based on his personal experiences when learning to program, Learn Programming in Python with Cody Jackson provides a hands-on introduction to comput...
Price: $34.99 | Publisher: Packt Publishing | Release: 2018
Introducing Ethereum and Solidity
by Chris Dannen
Learn how to use Solidity and the Ethereum project - second only to Bitcoin in market capitalization. Blockchain protocols are taking the world by storm, and the Ethereum project, with its Turing-complete scripting language Solidity, has rapidly become a front-runner. This book presents the blockchain phenomenon in context; then situates ...
Price: $6.12 | Publisher: Apress | Release: 2017
Practical MATLAB Modeling with Simulink
by Sulaymon L. Eshkabilov
Employ the essential and hands-on tools and functions of MATLAB's ordinary differential equation (ODE) and partial differential equation (PDE) packages, which are explained and demonstrated via interactive examples and case studies. This book contains dozens of simulations and solved problems via m-files/scripts and Simulink models w...
Price: $31.65 | Publisher: Apress | Release: 2020
Machine Learning in the Oil and Gas Industry
by Yogendra Narayan Pandey, Ayush Rastogi, Sribharath Kainkaryam, Srimoyee Bhattacharya, Luigi Saputelli
Apply machine and deep learning to solve some of the challenges in the oil and gas industry. The book begins with a brief discussion of the oil and gas exploration and production life cycle in the context of data flow through the different stages of industry operations. This leads to a survey of some interesting problems, which are good c...
Price: $29.86 | Publisher: Apress | Release: 2020
by Federico Biancuzzi, Chromatic
Masterminds of Programming features exclusive interviews with the creators of several historic and highly influential programming languages. In this unique collection, you'll learn about the processes that led to specific design decisions, including the goals they had in mind, the trade-offs they had to make, and how their experience...
Price: $7.54 | Publisher: O'Reilly Media | Release: 2009
by Jeanine Meyer
Understand the importance of programming, even if you've never programmed before! This book will teach you the basics of programming using the Processing programming language. You will create your own Processing sketches, using personal images, themes, or hobbies that you enjoy. The chapters in the book will demonstrate the process o...
Price: $20.23 | Publisher: Apress | Release: 2018
Hands-On Functional Programming in Rust
by Andrew Johnson
Functional Programming allows developers to divide programs into smaller, reusable components that ease the creation, testing, and maintenance of software as a whole. Combined with the power of Rust, you can develop robust and scalable applications that fulfill modern day software requirements. This book will help you discover all the Rus...
Price: $44.99 | Publisher: Packt Publishing | Release: 2018