東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Unifying theories of programming = 7...

UTP (Symposium) (2019 :)

FindBook

Google Book

Amazon

博客來

Unifying theories of programming = 7th International Symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Unifying theories of programming/ edited by Pedro Ribeiro, Augusto Sampaio.
其他題名:	7th International Symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019 : proceedings /
其他題名:	UTP 2019
其他作者:	Ribeiro, Pedro.
團體作者:	UTP (Symposium)
出版者:	Cham :Springer International Publishing : : 2019.,
面頁冊數:	xiv, 217 p. :ill. (some col.), digital ;24 cm.
內容註:	Unification Approaches -- Hybrid Models -- Concurrency.
Contained By:	Springer eBooks
標題:	Computer programming - Congresses. -
電子資源:	https://doi.org/10.1007/978-3-030-31038-7
ISBN:	9783030310387

Unifying theories of programming = 7th International Symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019 : proceedings /
Unifying theories of programming7th International Symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019 : proceedings /[electronic resource] :UTP 2019edited by Pedro Ribeiro, Augusto Sampaio. - Cham :Springer International Publishing :2019. - xiv, 217 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,118850302-9743 ;. - Lecture notes in computer science ;11885..

Unification Approaches -- Hybrid Models -- Concurrency.

This volume contains papers presented at UTP 2019, the 7th International Symposium on Unifying Theories of Programming, held in Porto, Portugal, on the 8th of October 2019. This edition of the UTP symposium is in honor of Sir Tony Hoare, on the occasion of his 85th birthday. The papers contained in this volume were invited, and friendly refereed, original contributions sought from the UTP community. One of the papers is from the distinguished invited speaker Tony Hoare himself. Nine other additional papers compose this volume, covering several aspects of Unifying Theories of Programming.

ISBN: 9783030310387

Standard No.: 10.1007/978-3-030-31038-7doiSubjects--Topical Terms:

840468
Computer programming
--Congresses.

LC Class. No.: QA76.6 / .U86 2019

Dewey Class. No.: 005.1

Unifying theories of programming = 7th International Symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019 : proceedings /
LDR:01955nmm a2200373 a 4500 001 2193172
003 DE-He213
005 20190912101902.0
006 m d
007 cr nn 008maaau
008 200514s2019 gw s 0 eng d
020 $a 9783030310387 $q (electronic bk.)
020 $a 9783030310370 $q (paper)
024 7 $a 10.1007/978-3-030-31038-7 $2 doi
035 $a 978-3-030-31038-7
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.6 $b .U86 2019
072 7 $a UM $2 bicssc
072 7 $a COM051000 $2 bisacsh
072 7 $a UM $2 thema
072 7 $a UYF $2 thema
082 0 4 $a 005.1 $2 23
090 $a QA76.6 $b .U91 2019
111 2 $a UTP (Symposium) $n (7th : $d 2019 : $c Porto, Portugal) $3 3414126
245 1 0 $a Unifying theories of programming $h [electronic resource] : $b 7th International Symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019 : proceedings / $c edited by Pedro Ribeiro, Augusto Sampaio.
246 3 $a UTP 2019
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2019.
300 $a xiv, 217 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 11885
490 1 $a Theoretical computer science and general issues
505 0 $a Unification Approaches -- Hybrid Models -- Concurrency.
520 $a This volume contains papers presented at UTP 2019, the 7th International Symposium on Unifying Theories of Programming, held in Porto, Portugal, on the 8th of October 2019. This edition of the UTP symposium is in honor of Sir Tony Hoare, on the occasion of his 85th birthday. The papers contained in this volume were invited, and friendly refereed, original contributions sought from the UTP community. One of the papers is from the distinguished invited speaker Tony Hoare himself. Nine other additional papers compose this volume, covering several aspects of Unifying Theories of Programming.
650 0 $a Computer programming $v Congresses. $3 840468
650 1 4 $a Logics and Meanings of Programs. $3 892495
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 891123
650 2 4 $a Software Engineering. $3 890874
650 2 4 $a Mathematics of Computing. $3 891213
650 2 4 $a Computer Systems Organization and Communication Networks. $3 891212
700 1 $a Ribeiro, Pedro. $3 3414127
700 1 $a Sampaio, Augusto. $3 3414128
700 1 $a Hoare, C. A. R. $q (Charles Antony Richard), $d 1934- $e honouree. $3 3414129
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 11885. $3 3414130
830 0 $a Theoretical computer science and general issues. $3 3382501
856 4 0 $u https://doi.org/10.1007/978-3-030-31038-7
950 $a Computer Science (Springer-11645)