Unifying Theories of Programming and Formal Engineering Methods

International Training School on Software Engineering, Held at ICTAC



Bookstore > Books > Unifying Theories of Programming and Formal Engineering Methods

Price$61.74 - $66.71
Rating
AuthorsZhiming Liu, Jim Woodcock, Huibiao Zhu
PublisherSpringer
Published2013
Pages283
LanguageEnglish
FormatPaper book / ebook (PDF)
ISBN-103642397204
ISBN-139783642397202
EBook Hardcover Paperback

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.


  1. (2 books)
  2. (2 books)
  3. (2 books)



4 5 2

Similar Books


Theories of Programming and Formal Methods

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:  $74.11  |  Publisher:  Springer  |  Release:  2013

Learn Programming in Python with Cody Jackson

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

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:  $37.32  |  Publisher:  Apress  |  Release:  2017

Masterminds of Programming

Masterminds of Programming

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 experiences hav...

Price:  $7.54  |  Publisher:  O'Reilly Media  |  Release:  2009

Programming 101

Programming 101

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 of pro...

Price:  $20.23  |  Publisher:  Apress  |  Release:  2018

Hands-On Functional Programming in Rust

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:  $35.99  |  Publisher:  Packt Publishing  |  Release:  2018

Meta-Programming and Model-Driven Meta-Program Development

Meta-Programming and Model-Driven Meta-Program Development

by Vytautas Stuikys, Robertas Damasevicius

Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques presents an overall analysis of meta-programming, focusing on insights of meta-programming techniques, heterogeneous meta-program development processes in the context of model-driven, feature-based and transformative approaches.The fundamental...

Price:  $119.99  |  Publisher:  Springer  |  Release:  2013

Programming Android, 2nd Edition

Programming Android, 2nd Edition

by Zigurd Mednieks, Laird Dornin, G. Blake Meike, Masumi Nakamura

Get thoroughly up to speed on Android programming, and learn how to create up-to-date user experiences for both handsets and tablets. With this book's extensively revised second edition, you'll focus on Android tools and programming essentials, including best practices for using Android 4 APIs. If you're experienced with Java or Objective...

Price:  $27.02  |  Publisher:  O'Reilly Media  |  Release:  2012