Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings (Lecture Notes in Computer Science)
Huge Savings Item! Save 20% on the Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings (Lecture Notes in Computer Science) by Springer at Translate This Website. MPN: 50 black & white illustrations, biograph. Hurry! Limited time offer. Offer valid only while supplies last. This book constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June
This book constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as part of the STAF 2013 Federated Conferences. The 12 revised full papers presented together with one tutorial were carefully reviewed and selected from 24 submissions. The papers are devoted to the synergy of proofs and tests, to the application of techniques from both sides and their combination for the advancement of software quality. The papers are related to the following topics: test generation; model-based testing and mutants; declarative debugging; and tool testing.
|Part Number:||50 black & white illustrations, biograph|
|MPN:||50 black & white illustrations, biograph|
|Item Weight:||0.76 pounds|
|Item Size:||0.55 x 9.25 x 9.25 inches|
|Package Weight:||0.85 pounds|
|Package Size:||5.98 x 0.63 x 0.63 inches|
Have questions about this item, or would like to inquire about a custom or bulk order?
If you have any questions about this product by Springer, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.
Related Best Sellers
By Cordeiro Jose Luis
mpn: 95 black & white illustrations, biograph, ean: 9783662449196, isbn: 3662449196,
This book constitutes the thoroughly refereed proceedings of the 8th International Joint Conference on Software Technologies, ICSOFT 2013, held in Reykjavik, Iceland, in July 2013. The 19 revised full papers presented were carefully reviewed and sele...
ean: 9781849968188, isbn: 9781849968188,
Computational models can be found everywhere in present day science and engineering. In providing a logical framework and foundation for the specification and design of specification languages, Raymond Turner uses this framework to introduce and stud...
By Brand: Springer
ean: 9780387974002, isbn: 0387974008,
Recently there has been considerable interest in qualitative methods in simulation and mathematical model- ing. Qualitative Simulation Modeling and Analysis is the first book to thoroughly review fundamental concepts in the field of qualitative simul...
ean: 9780120887989, isbn: 9780120887989,
Data Model Patterns: A Metadata Map not only presents a conceptual model of a metadata repository but also demonstrates a true enterprise data model of the information technology industry itself. It provides a step-by-step description of the model an...
ean: 9783540748663, isbn: 3540748660,
This new edition strives yet again to provide readers with a working knowledge of chaos theory and dynamical systems. It does so through parallel introductory explanations in the book and interaction with carefully-selected programs supplied on the a...
mpn: 76 black & white illustrations, biograph, ean: 9783319090986, isbn: 3319090984,
This book constitutes the refereed proceedings of the 8th International Conference on Tests and Proofs, TAP 2014, held in York, UK, in July 2014, as part of the STAF 2014 Federated Conferences. The 10 revised full papers and 4 short papers presented ...
ean: 9783540327127, isbn: 3540327126,
Ziel dieses Buches ist die systematische Vermittlung grundlegender Kenntnisse der Programmierung mittels Java. Dabei werden klassische Konzepte, wie z. B. bedingte Anweisungen, Schleifen und Rekursion durch die wachsenden Anforderungen der betrachtet...
mpn: biography, ean: 9783540690696, isbn: 9783540690696,
This book constitutes the thoroughly refereed post-workshop proceedings of 10 internationl workshops and 2 symposia held as satellite events of the 10th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2007, in Nashv...
mpn: biography, ean: 9783642037634, isbn: 3642037631,
work for small problems, but it introduces signi?cant accidental complexities when tackling larger problems. Notethattherealchallengehereisnothowtodesignthesystemtotakeap- ticular aspect into account: there is signi?cant design know-how in industry o...
ean: 9781447161691, isbn: 1447161696,
This book addresses how best to make build vs. buy decisions, and what effect such decisions have on the software development life cycle (SDLC). Offering an integrated approach that includes important management and decision practices, the text expla...