We a good story
4.1 / 5 on Trustpilot
Quick delivery in the UK
Trusted Ecommerce Europe
Help
Login
  1. Home
  2. Books
  3. Business & Education
  4. Computing & IT
  5. Theories of Programming and Formal Methods

Theories of Programming and Formal Methods

- Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

part of the Lecture Notes in Computer Science series

part of the Theoretical Computer Science and General Issues series

Theories of Programming and Formal Methods
About Theories of Programming and Formal Methods

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.

Show more
  • Language:
  • English
  • ISBN:
  • 9783642396977
  • Binding:
  • Paperback
  • Pages:
  • 413
  • Published:
  • July 31, 2013
  • Edition:
  • 2013
  • Dimensions:
  • 155x235x22 mm.
  • Weight:
  • 652 g.
Delivery: 1-2 weeks
Expected delivery: October 20, 2024

Description of Theories of Programming and Formal Methods

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.

User ratings of Theories of Programming and Formal Methods



Others also bought..
Find similar books
The book Theories of Programming and Formal Methods can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.