E-book
Computer Aided Verification [electronic resource] : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings / edited by Natasha Sharygina, Helmut Veith.
Record details
- ISBN: 9783642397998
- Physical Description: XXII, 1015 p. 237 illus. online resource.
- Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.
Search for related items by subject
| Subject: | Computer science. Software engineering. Logic design. Computer Science. Logics and Meanings of Programs. Software Engineering. Special Purpose and Application-Based Systems. |
Search for related items by series
Electronic resources
| LDR | 01826nam a22004695i 4500 | ||
|---|---|---|---|
| 001 | 32503 | ||
| 003 | CONS | ||
| 005 | 20130822034255.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 130711s2013 gw | s |||| 0|eng d | ||
| 020 | . | ‡a9783642397998 ‡9978-3-642-39799-8 | |
| 024 | 7 | . | ‡a10.1007/978-3-642-39799-8 ‡2doi |
| 035 | . | ‡a(DE-He213)978-3-642-39799-8 | |
| 050 | 4. | ‡aQA76.9.L63 | |
| 050 | 4. | ‡aQA76.5913 | |
| 050 | 4. | ‡aQA76.63 | |
| 072 | 7. | ‡aUM ‡2bicssc | |
| 072 | 7. | ‡aUYF ‡2bicssc | |
| 072 | 7. | ‡aCOM051000 ‡2bisacsh | |
| 072 | 7. | ‡aCOM036000 ‡2bisacsh | |
| 100 | 1 | . | ‡aSharygina, Natasha. ‡eeditor. |
| 245 | 1 | 0. | ‡aComputer Aided Verification ‡h[electronic resource] : ‡b25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings / ‡cedited by Natasha Sharygina, Helmut Veith. |
| 264 | 1. | ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg : ‡bImprint: Springer, ‡c2013. | |
| 300 | . | ‡aXXII, 1015 p. 237 illus. ‡bonline resource. | |
| 336 | . | ‡atext ‡btxt ‡2rdacontent | |
| 337 | . | ‡acomputer ‡bc ‡2rdamedia | |
| 338 | . | ‡aonline resource ‡bcr ‡2rdacarrier | |
| 347 | . | ‡atext file ‡bPDF ‡2rda | |
| 490 | 1 | . | ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v8044 |
| 650 | 0. | ‡aComputer science. | |
| 650 | 0. | ‡aSoftware engineering. | |
| 650 | 0. | ‡aLogic design. | |
| 650 | 1 | 4. | ‡aComputer Science. |
| 650 | 2 | 4. | ‡aLogics and Meanings of Programs. |
| 650 | 2 | 4. | ‡aSoftware Engineering. |
| 650 | 2 | 4. | ‡aSpecial Purpose and Application-Based Systems. |
| 700 | 1 | . | ‡aVeith, Helmut. ‡eeditor. |
| 710 | 2 | . | ‡aSpringerLink (Online service) |
| 773 | 0 | . | ‡tSpringer eBooks |
| 776 | 0 | 8. | ‡iPrinted edition: ‡z9783642397981 |
| 830 | 0. | ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v8044 | |
| 856 | 4 | 0. | ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-642-39799-8 ‡yTexto completo ‡9CONS |
| 950 | . | ‡aComputer Science (Springer-11645) | |
| 901 | . | ‡a32503 ‡b ‡c32503 ‡tbiblio ‡sSystem Local | |
