Text

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

---

Buku ini merupakan hasil dari Konferensi Internasional ke-21 tentang Fondasi Ilmu Perangkat Lunak dan Struktur Komputasi, FOSSACS 2018, yang berlangsung di Thessaloniki, Yunani, pada bulan April 2018, yang diselenggarakan sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2018. 31 makalah yang disajikan dalam volume ini ditinjau dengan cermat dan dipilih dari 103 kiriman. Makalah-makalah tersebut disusun dalam beberapa bagian topik yang diberi nama: semantik; linearitas; konkurensi; kalkuli lambda dan jenis-jenisnya; teori kategori dan kontrol kuantum; model kuantitatif; logika dan teori persamaan; serta grafik dan automata.

---

Availability

No copy data

Detail Information

Series Title

-

Call Number

004.1 BAI f

Publisher

Heidelberg, Jerman : Springer International Publishing., 2018

Collation

XV, 583

Language

English

ISBN/ISSN

9783319893662

Classification

004.1

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

1

Subject(s)

Sistem Komputer Digital

Specific Detail Info

-

Statement of Responsibility

Christel Baier, Ugo Dal Lago

Other Information

Cataloger

Kholif Basri

Source

https://link.springer.com/10.1007/978-3-319-89366-2

Validator

erwin

Digital Object Identifier (DOI)

https://doi.org/10.1007/978-3-319-89366-2

Journal Volume

10803

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment