Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

·
· Springer
eBook
1015
페이지
검증되지 않은 평점과 리뷰입니다.  자세히 알아보기

eBook 정보

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.

이 eBook 평가

의견을 알려주세요.

읽기 정보

스마트폰 및 태블릿
Android 및 iPad/iPhone용 Google Play 북 앱을 설치하세요. 계정과 자동으로 동기화되어 어디서나 온라인 또는 오프라인으로 책을 읽을 수 있습니다.
노트북 및 컴퓨터
컴퓨터의 웹브라우저를 사용하여 Google Play에서 구매한 오디오북을 들을 수 있습니다.
eReader 및 기타 기기
Kobo eReader 등의 eBook 리더기에서 읽으려면 파일을 다운로드하여 기기로 전송해야 합니다. 지원되는 eBook 리더기로 파일을 전송하려면 고객센터에서 자세한 안내를 따르세요.
불법 콘텐츠 신고

Natasha Sharygina 작가의 책 더보기

Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II
Sriram Sankaranarayanan
컴퓨터 및 기술
€0
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part I
Sriram Sankaranarayanan
컴퓨터 및 기술
€0
Validation of Evolving Software
Hana Chockler
컴퓨터 및 기술
€54.49€38.14
Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers
Roderick Bloem
컴퓨터 및 기술
€59.94€41.96

비슷한 eBook

Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II
Sriram Sankaranarayanan
컴퓨터 및 기술
€0
Decoding the Universe: How the New Science of Information Is Explaining Everythingin the Cosmos, fromOu r Brains to Black Holes
Charles Seife
컴퓨터 및 기술
€13.89
25 Years of Model Checking: History, Achievements, Perspectives
Orna Grumberg
컴퓨터 및 기술
€38.14€26.70
Adventures in Rule-Based Programming: A CLIPS Tutorial
Gary Riley
컴퓨터 및 기술
€8.41