Computer aided verification : 24th International conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings /

Computer aided verification : 24th International conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings /

This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in top...

Full beskrivning

Sparad:
Bibliografiska uppgifter
Institutionell upphovsman: SpringerLink (Online service)
Övriga upphovsmän: Seshia, Sanjit A., Madhusudan, P.
Materialtyp: E-bok
Språk:English
Publicerad: Berlin, Heidelberg Springer Berlin Heidelberg 2012.
Serie:Lecture Notes in Computer Science 7358
Ämnen:
Computer science.
Computer hardware.
Software engineering.
Logic design.
Artificial intelligence.
Länkar:Click here to view the full text content
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!

Systemet under underhåll

Bibliotekssystemet är närvarande under underhåll.

Tillgänglighetsinformation kan inte visas för tillfället. Vi beklagar störningen. Kontakta oss om problemet kvarstår:

david@pintaran.my

Internet

Click here to view the full text content

Liknande verk