Kapak Resmi

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

Diğer sürümleri göster (2)

artificial intelligence; computer software; selection and evaluation; formal logic; graph theory; modal logic; petri nets; program compilers; programming language; semantics; separation logic; software engineering; theorem proving; type systems; verification

Kaydedildi:
Detaylı Bibliyografya
Diğer Yazarlar: Baier, Christel (Editör), Dal Lago, Ugo (Editör)
Materyal Türü: Elektronik Kitap Bölümü
Dil:İngilizce
Baskı/Yayın Bilgisi: Cham Springer Nature 2018
Seri Bilgileri:Theoretical Computer Science and General Issues
Konular:
Computer science
artificial intelligence
computer software
selection and evaluation
formal logic
graph theory
modal logic
petri nets
program compilers
programming language
semantics
separation logic
software engineering
theorem proving
type systems
verification
Online Erişim:OAPEN Library: download the publication
OAPEN Library: description of the publication
Etiketler: Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
Diğer Bilgiler
Özet:artificial intelligence; computer software; selection and evaluation; formal logic; graph theory; modal logic; petri nets; program compilers; programming language; semantics; separation logic; software engineering; theorem proving; type systems; verification
ISBN:978-3-319-89366-2
9783319893662
Erişim:Open Access

Benzer Materyaller