Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
Laura Kovács, Andrei Voronkov (auth.), Natasha Sharygina, Helmut Veith (eds.)
This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013. The 54 regular and 16 tool papers presented were carefully selected from 209 submissions. The papers are organized in topical sections on biology, concurrency, hardware, hybrid systems, interpolation, loops and termination, new domains, probability and statistics, SAT and SMZ, security, shape analysis, synthesis, and time.
Κατηγορίες:
Έτος:
2013
Έκδοση:
1
Εκδότης:
Springer-Verlag Berlin Heidelberg
Γλώσσα:
english
Σελίδες:
1015
ISBN 10:
3642397999
ISBN 13:
9783642397998
Σειρές:
Lecture Notes in Computer Science 8044 : Theoretical Computer Science and General Issues
Αρχείο:
PDF, 20.75 MB
IPFS:
,
english, 2013
Αυτό το βιβλίο δεν είναι διαθέσιμο για λήψη λόγω καταγγελίας του κατόχου των πνευματικών δικαιωμάτων
Beware of he who would deny you access to information, for in his heart he dreams himself your master
Μετατροπή αρχείων
Περισσότερα αποτελέσματα αναζήτησης
Λοιπά πλεονεκτήματα 
