Tests and proofs : 5th international conference, TAP 2011, Zurich, Switzerland, June 30-July 1, 2011 : proceedings /
Saved in:
| Meeting name: | TAP 2011 (2011 : Zurich, Switzerland) |
|---|---|
| Imprint: | Berlin ; Heidelberg ; New York : Springer, ©2011. |
| Description: | 1 online resource (x, 204 pages) : illustrations. |
| Language: | English |
| Series: | Lecture notes in computer science, 1611-3349 ; 6706 LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 6706. LNCS sublibrary. SL 2, Programming and software engineering. |
| Subject: | |
| Format: | E-Resource Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11075717 |
MARC
| LEADER | 00000cam a2200000Ia 4500 | ||
|---|---|---|---|
| 001 | 11075717 | ||
| 005 | 20170630044906.6 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 110804s2011 gw a ob 101 0 eng d | ||
| 003 | ICU | ||
| 010 | |a 2011929162 | ||
| 040 | |a GW5XE |b eng |e pn |c GW5XE |d OCLCQ |d C$Q |d OCLCQ |d OCLCO |d NLGGC |d OCLCQ |d OCLCF |d BEDGE |d OCLCQ |d OCLCO |d COO |d A7U |d YDXCP |d OCL |d OCLCO |d OCLCQ |d OCLCO |d EBLCP |d OCLCQ |d VT2 | ||
| 019 | |a 736118282 |a 769769820 |a 964932829 | ||
| 020 | |a 9783642217685 |q (electronic bk.) | ||
| 020 | |a 3642217680 |q (electronic bk.) | ||
| 020 | |a 9783642217678 | ||
| 020 | |a 3642217672 | ||
| 035 | |a (OCoLC)745002757 |z (OCoLC)736118282 |z (OCoLC)769769820 |z (OCoLC)964932829 | ||
| 050 | 4 | |a QA76.76.T48 |b T37 2011 | |
| 084 | |a 54.52 |2 bcl | ||
| 049 | |a MAIN | ||
| 111 | 2 | |a TAP 2011 |d (2011 : |c Zurich, Switzerland) |0 http://id.loc.gov/authorities/names/nb2011020880 |1 http://viaf.org/viaf/177192197 | |
| 245 | 1 | 0 | |a Tests and proofs : |b 5th international conference, TAP 2011, Zurich, Switzerland, June 30-July 1, 2011 : proceedings / |c Martin Gogolla, Burkhart Wolff (eds.). |
| 246 | 3 | 0 | |a TAP 2011 |
| 260 | |a Berlin ; |a Heidelberg ; |a New York : |b Springer, |c ©2011. | ||
| 300 | |a 1 online resource (x, 204 pages) : |b illustrations. | ||
| 336 | |a text |b txt |2 rdacontent |0 http://id.loc.gov/vocabulary/contentTypes/txt | ||
| 337 | |a computer |b c |2 rdamedia |0 http://id.loc.gov/vocabulary/mediaTypes/c | ||
| 338 | |a online resource |b cr |2 rdacarrier |0 http://id.loc.gov/vocabulary/carriers/cr | ||
| 490 | 1 | |a Lecture notes in computer science, |x 1611-3349 ; |v 6706 | |
| 490 | 1 | |a LNCS sublibrary. SL 2, Programming and software engineering | |
| 504 | |a Includes bibliographical references and author index. | ||
| 588 | 0 | |a Print version record. | |
| 520 | |a This book constitutes the refereed proceedings of the 5th International Conference on Test and Proofs, TAP 2011, held in Zurich, Switzerland in June/July 2011. The 12 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 27 submissions. Among the topics covered are model checking, testing systems, test generation, symbolic testing, SAT solvers, SMT solvers, property-based testing, automated test generation, learning based testing, UML, OCL, specification-based testing, and network testing. | ||
| 650 | 0 | |a Computer software |x Testing |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2009121253 | |
| 650 | 0 | |a Computer software |x Verification |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2009121254 | |
| 650 | 0 | |a Formal methods (Computer science) |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2008104061 | |
| 650 | 7 | |a Informatique. |2 eclas | |
| 650 | 7 | |a Computer software |x Testing. |2 fast |0 (OCoLC)fst00872601 | |
| 650 | 7 | |a Computer software |x Verification. |2 fast |0 (OCoLC)fst00872604 | |
| 650 | 7 | |a Formal methods (Computer science) |2 fast |0 (OCoLC)fst00932926 | |
| 655 | 4 | |a Electronic books. | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772 | |
| 700 | 1 | |a Gogolla, Martin, |d 1954- |0 http://id.loc.gov/authorities/names/n93116982 |1 http://viaf.org/viaf/113608464 | |
| 700 | 1 | |a Wolff, Burkhart, |d 1962- |0 http://id.loc.gov/authorities/names/n2003004023 |1 http://viaf.org/viaf/85392343 | |
| 776 | 0 | 8 | |i Print version: |t Tests and Proofs. |d Springer Verlag 2011 |z 9783642217678 |w (OCoLC)733237134 |
| 830 | 0 | |a Lecture notes in computer science ; |v 6706. |x 0302-9743 | |
| 830 | 0 | |a LNCS sublibrary. |n SL 2, |p Programming and software engineering. | |
| 856 | 4 | 0 | |u http://link.springer.com/10.1007/978-3-642-21768-5 |y SpringerLink |
| 903 | |a HeVa | ||
| 929 | |a eresource | ||
| 999 | f | f | |i db90c14b-b131-52df-9d3e-2aafbf314c3e |s 4aab335e-3b7f-5e53-9f35-fea08bb5ae7a |
| 928 | |t Library of Congress classification |a QA76.76.T48 T37 2011 |l Online |c UC-FullText |u http://link.springer.com/10.1007/978-3-642-21768-5 |z SpringerLink |g ebooks |i 9885411 | ||