Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were care...

Ful tanımlama

Kaydedildi:

Detaylı Bibliyografya
Diğer Yazarlar:	Chockler, Hana (Editör), Weissenbacher, Georg (Editör)
Materyal Türü:	Elektronik Kitap Bölümü
Dil:	İngilizce
Baskı/Yayın Bilgisi:	Springer Nature 2018
Seri Bilgileri:	Lecture Notes in Computer Science
Konular:	Computer programming / software development Algorithms & data structures Software Engineering Mathematical theory of computation Computer modelling & simulation Artificial intelligence Computer science Computer logic Software engineering Mathematical logic Algorithms Computer simulation
Online Erişim:	OAPEN Library: download the publication OAPEN Library: description of the publication
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II /

Baskı/Yayın Bilgisi 2018

Link to Metadata

Elektronik Ekitap

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Baskı/Yayın Bilgisi 2018

DOAB: download the publication
DOAB: description of the publication

Elektronik Kitap Bölümü

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II /

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Benzer Materyaller