Treffer: Theories of Programming and Formal Methods
Titel:
Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu
Verantwortlich:
Ausgabe:
1st ed. 2013
Veröffentlicht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XII, 413 Seiten) : 86 illus.
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 8051
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Theories of Programming and Formal Methods. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2013. - ISBN 9783642396977
Schlagworte:
ISBN:
9783642396984 ; 3642396984 ; 9783642396977 (Sekundärausgabe) ; 9783642396991 (Sekundärausgabe)
DOI:
10.1007/978-3-642-39698-4