Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday (Lecture Notes in Computer Science)

Buy

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. He Jifeng is known for his seminal work in the theories of programming and formal methods for software engineering. He is particularly associated with Unifying Theories of Programming (UTP) , the theory of data refinement and the laws of programming, and the rCOS formal method for object and component system construction. His book on UTP with Tony Hoare has been widely read and followed by a large number of researchers, and it has been used in many postgraduate courses. He was a senior researcher at Oxford during 1984-1998, and then a senior research fellow at the United Nations University International Institute for Software Technology (UNU-IIST) in Macau during 1998-2005. He has been a professor and currently the Dean of the Institute of Software Engineering at East China Normal University, Shanghai, China. In 2005, He Jifeng was elected as an academician to the Chinese Academy of Sciences. He also received an honorary doctorate from the University of York. He won a number of prestigious science and technology awards, including a 2nd prize of Natural Science Award from the State Council of China, a 1st prize of Natural Science Award from the Ministry of Education of China, a 1st prize of Technology Innovation from the Ministry of Electronic Industry, and a number awards from Shanghai government.

(HTML tags aren't allowed.)

Essential Software Testing: A Use-Case Approach
Essential Software Testing: A Use-Case Approach
Much has been written about the difficulty of software testing. Often these laments are accompanied by cautionary words about how careful one has to be to ensure testing is done properly. However, there is a dearth of resources that give practical guidance on the nuts and bolts of testing. Essential Software Testing: A Use-Case...
Unix Text Processing (Hayden Books UNIX library system)
Unix Text Processing (Hayden Books UNIX library system)
Many people think of computers primarily as “number crunchers,” and think of word processors as generating form letters and boilerplate proposals. That computers can be used productively by writers, not just research scientists, accountants, and secretaries, is not so widely recognized. Today, writers not only work with words, they work...
Principles of Biochemical Toxicology, Fourth Edition
Principles of Biochemical Toxicology, Fourth Edition
This leading textbook in the field examines the mechanisms underlying toxicity, particularly the events at the molecular level and the factors that determine and affect toxicity. The new edition is updated to reflect the latest research into the biochemical basis of toxicology and the growing concerns over the adverse effects of drugs,...

Schaum's Outline of Advanced Calculus, Second Edition
Schaum's Outline of Advanced Calculus, Second Edition
Master the fundamentals of advanced calculus with Schaum's­­the high-performance study guide. It will help you cut study time, hone problem-solving skills, and achieve your personal best on exams and projects!

Students love Schaum's Outlines because they produce results. Each year, hundreds of thousands of students improve their test...

Focal Easy Guide to Final Cut Pro 5: For New Users and Professionals
Focal Easy Guide to Final Cut Pro 5: For New Users and Professionals
"In such a relatively short book as compared to the 800 page tomes I usually find, there is not much that Rick Young does not cover in order to get the new user up and running as soon and as painlessly as possible...what really sets this book apart is how Rick Young's step-by-step directions and graphics are so very easy to follow." Steve...
SAP Transaction Codes: Frequently Used T-Codes
SAP Transaction Codes: Frequently Used T-Codes

SAPTransaction Codes: Frequently Used T-Codes is a reference book, which will be a handy tool for those using the SAP business software. It can be used by casual end users, power/super users, subject matter experts (SMEs) implementation project team members, as well application support staff.

...
©2018 LearnIT (support@pdfchm.net) - Privacy Policy