Huibiao Zhu Books

Unifying Theories of Programming
Theoretical Aspects of Computing ICTAC 2013
Service Oriented Computing ICSOC Workshops 2012
Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings
Formal Methods and Software Engineering
Theories Of Programming And Formal Methods Essays Dedicated To Jifeng He On The Occasion Of His 70th Birthday
Theories Of Programming And Formal Methods Essays Dedicated To Jifeng He On The Occasion Of His 70th Birthday

By

Average: 0.00, 0 Ratings

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 congra...

Read More
Theories of Programming and Formal Methods
Theoretical Aspects of Computing ICTAC 2013
Theoretical Aspects of Computing ICTAC 2013

By Jim Woodcock, Huibiao Zhu, Zhiming Liu

Average: 0.00, 0 Ratings

This book constitutes the refereed proceedings of the 10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013 held in Macau, China, in September 2013. The 22 revised full pape...

Read More
Theoretical Aspects of Computing ICTAC 2013
Unifying Theories Of Programming And Formal Engineering Methods International Training School On Software Engineering Held At Ictac 2013 Shanghai China August 2630 2013 Advanced Lectures
Unifying Theories Of Programming And Formal Engineering Methods International Training School On Software Engineering Held At Ictac 2013 Shanghai China August 2630 2013 Advanced Lectures

By

Average: 0.00, 0 Ratings

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 Shangha...

Read More

Related Articles from our Blog

How to Convert ISBN-10 to ISBN-13 (and Vice Versa): A Complete Guide

If you’re in the world of books—whether as a publisher, librarian, bookseller, or avid collector—you’ve likely come across the terms ISBN-10 and ISBN-13. Understanding these formats and knowing how to convert between them is essential for maintaining consistency and compatibility in book records. In this post, we’ll cover everything you need to know about ISBN conversions, step by step.

What is an EAN and How Does it Relate to an ISBN?

If you’ve ever purchased a product online or in a store, you’ve likely come across a barcode. Behind these barcodes lies a standardized system that makes modern commerce possible. Two key codes often encountered are the EAN (European Article Number) and ISBN (International Standard Book Number). But what are they, how are they connected, and why are they so crucial? Let’s explore.

Read More