Theories of Programming and Formal Methods



Bookstore > Books > Theories of Programming and Formal Methods

Price$65.14 - $76.22
Rating
AuthorsZhiming Liu, Jim Woodcock, Huibiao Zhu
PublisherSpringer
Published2013
Pages413
LanguageEnglish
FormatPaper book / ebook (PDF)
ISBN-103642396976
ISBN-139783642396977
EBook Hardcover Paperback

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.


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



Similar Books


Unifying Theories of Programming and Formal Engineering Methods

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

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:  $25.80  |  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

Formal Methods

Formal Methods

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

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