Text

Programming Languages with Applications to Biology and Security; Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday

---

* Berisi makalah wasit yang membahas topik penelitian utama Pierpaolo Degano. * Termasuk memoar pribadi dan makalah penelitian reguler oleh kolaborator dekat. * Mencakup berbagai macam topik termasuk semantik program formal, teori konkurensi, biologi sistem, dan keamanan. ;;; Volume Festschrift ini terutama berisi 22 makalah penelitian wasit dan satu abstrak tambahan oleh kolaborator dekat dan teman Pierpaolo Degano untuk merayakannya pada kesempatan ulang tahunnya yang ke-65. Kata pengantar volume ini mencakup laudatio yang mengilustrasikan karir terkemuka dan kontribusi ilmiah utama Pierpaolo dan potret dirinya yang dibuat oleh salah satu teman terdekatnya. Bagian berikut didedikasikan untuk makalah ilmiah tentang topik penelitian utama yang dieksplorasi oleh Pierpaolo dan masih dalam penyelidikannya. Pierpaolo telah mengerjakan berbagai macam topik termasuk semantik program formal, teori konkurensi, biologi dan keamanan sistem, dan banyak lagi. Setiap kontribusi ditinjau dengan cermat oleh satu atau dua pembaca. Para editor ingin mengucapkan terima kasih kepada beberapa individu anonim atas bantuan mereka. Versi awal dari volume ini telah dipresentasikan kepada Pierpaolo pada tanggal 19 Juni 2015, selama kolokium satu hari yang diadakan di Pisa di Departemen Ilmu Komputer. Lima ilmuwan terkemuka dan juga sahabat Pierpaolo memberikan ceramah undangan mereka pada kesempatan itu. Kami berterima kasih kepada Ugo Montanari, MartíN Abadi, Luca Cardelli, Joshua Guttman, dan Flemming Nielson karena telah menerima undangan kami. Kontribusi mereka dapat ditemukan setelah laudatio dan potret Pierpaolo. Kami juga ingin mengucapkan terima kasih kepada Departemen Ilmu Komputer dan Universitas Pisa atas dukungan logistik mereka dalam penyelenggaraan Kolokium tersebut. Dengan buku ini kami ingin merayakan visi Pierpaolo, di samping prestasinya, dan juga menyaksikan penghargaan dan dukungan besar yang dia miliki dalam komunitas akademis.

---

Availability

No copy data

Detail Information

Series Title

Ilmu Komputer Teoritis dan Masalah Umum

Call Number

005.133 BOD p

Publisher

Pisa, Italy : Springer International Publishing., 2015

Collation

-

Language

English

ISBN/ISSN

978-3-319-25527-9

Classification

005.133

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

9465

Subject(s)

Bahasa Pemrograman Khusus

Specific Detail Info

-

Statement of Responsibility

Chiara Bodei, Gianluigi Ferrari, Corrado Priami

Other Information

Cataloger

erwin

Source

https://link.springer.com/10.1007/978-3-319-25527-9

Validator

erwin

Digital Object Identifier (DOI)

-

Journal Volume

-

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment