東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Unifying theories of programming = 7...

UTP (Symposium) (2019 :)

Linked to 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 /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Unifying theories of programming/ edited by Pedro Ribeiro, Augusto Sampaio.
Reminder of title:	7th International Symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019 : proceedings /
remainder title:	UTP 2019
other author:	Ribeiro, Pedro.
corporate name:	UTP (Symposium)
Published:	Cham :Springer International Publishing : : 2019.,
Description:	xiv, 217 p. :ill. (some col.), digital ;24 cm.
[NT 15003449]:	Unification Approaches -- Hybrid Models -- Concurrency.
Contained By:	Springer eBooks
Subject:	Computer programming - Congresses. -
Online resource:	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)