>> Google Books

Unifying Theories of Programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers

フォーマット:
電子ブック
責任表示:
edited by David Naumann
言語:
英語
出版情報:
Cham : Springer International Publishing : Imprint: Springer, 2015
形態:
XI, 143 p. 10 illus
著者名:
シリーズ名:
Lecture Notes in Computer Science ; 8963
目次情報:
Numerous formal notations
Theories of programming
Abstraction
Refinement
Choice
Termination
Feasibility
Locality
Concurrency and communication
Numerous formal notations
Theories of programming
Abstraction
Refinement
Choice
Termination
続きを見る
書誌ID:
LB00386139
ISBN:
9783319148052 [3319148052]  CiNii Books  Webcat Plus  Google Books
9783319148069 [3319148060]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
オンライン
所蔵情報
Loading availability information

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

Lanese, Ivan, Madelaine, Eric, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Davis, Jesse, Ramon, Jan, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Liu, Shaoying, Duan, Zhenhua, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Baier, Christel, Tinelli, Cesare, SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

Voronkov, Andrei, Virbitskaite, Irina, SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

Canal, Carlos, Idani, Akram, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Pitts, Andrew, SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

Feng, Xinyu, Park, Sungwoo, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Artho, Cyrille, Olveczky, Peter Csaba, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

D’Souza, Deepak, Lal, Akash, Larsen, Kim Guldstrand, SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

Codescu, Mihai, Diaconescu, R?zvan, ?u?u, Ionu?, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Hage, Jurriaan, McCarthy, Jay, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer