Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > 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


Book Informaton

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Author

Zhiming Liu; Jim Woodcock; Huibiao Zhu

Series

Lecture Notes in Computer Science

Volume

8051

Year of Publication

2013

Publisher

Springer Berlin Heidelberg

Pages

XII, 413

Language

en

ISBN

9783642396977, 9783642396984

ARI Id

1664859351580


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 7 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Showing 1 to 20 of 26 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-22
23-36
37-53
54-66
67-81
82-99
100-117
118-135
136-150
151-165
166-195
196-212
213-226
227-243
244-255
256-270
271-284
285-303
304-325
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 26 entries