Theories of Programming and Formal Methods
| Price | $65.14 - $74.99
|
| Rating |  |
| Authors | Zhiming Liu, Jim Woodcock, Huibiao Zhu |
| Publisher | Springer |
| Published | 2013 |
| Pages | 413 |
| Language | English |
| Format | Paper book / ebook (PDF) |
| ISBN-10 | 3642396976 |
| ISBN-13 | 9783642396977 |
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.
- Zhiming Liu (2 books)
- Jim Woodcock (2 books)
- Huibiao Zhu (2 books)
Similar Books
Unifying Theories of Programming and Formal Engineering Methods 
by Zhiming Liu, Jim Woodcock, Huibiao Zhu
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 su...
Price: $59.64 | 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
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
by Jean-Louis Boulanger
Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until the end of the 1990s before formal methods or the B method could be implemented in ...
Price: $109.73 | Publisher: Wiley | Release: 2012