Íomhá chlúdaigh

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Taispeáin leaganacha eile (2)

This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefu...

Cur síos iomlán

Sábháilte in:
Sonraí bibleagrafaíochta
Rannpháirtithe: Dillig, Isil (Eagarthóir), Tasiran, Serdar (Eagarthóir)
Formáid: Leictreonach Caibidil leabhair
Teanga:Béarla
Foilsithe / Cruthaithe: Springer Nature 2019
Sraith:Lecture Notes in Computer Science
Ábhair:
Programming & scripting languages: general
Software Engineering
Computer networking & communications
Computer science
Computer modelling & simulation
Artificial intelligence
Software engineering
Programming languages (Electronic computers)
Computers
Computer simulation
Computer organization
Rochtain ar líne:OAPEN Library: download the publication
OAPEN Library: description of the publication
Clibeanna: Cuir clib leis
Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!

Ar líne

OAPEN Library: download the publication
OAPEN Library: description of the publication

3rd Floor Main Library

Sonraí sealbhúcháin ó 3rd Floor Main Library
Gairmuimhir: A1234.567
Cóip 1 Ar fáil

Míreanna comhchosúla