Login       My Wishlist
  My Cart
$0.00 / 0 items
 
Translate This Website
International Translation Network
 
International Access
Global Shipping Options Available
  Our Catalog   Computers & Technology   Computer Science   Computer Simulation

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


Product Description

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.

Additional Information

Manufacturer:Springer
Part Number:50 black & white illustrations, biograph
Publisher:Springer
Studio:Springer
MPN:50 black & white illustrations, biograph
EAN:9783642389153
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

Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings (Lecture Notes in Computer Science) by Springer

Buy Now:
Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings (Lecture Notes in Computer Science)

Brand: Springer
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$72.00
$57.84
You Save: 20%


Quantity:  

 


View More In Computer Simulation.

 


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.

First Name:
Last Last:
Email Address:
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...

By Springer
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...

By imusti
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...

By Springer
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...

By Springer
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 ...

By Springer
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...

By Springer
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...

By Springer
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...

By Springer
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...



Privacy Policy / Terms of Service
© 2018 - translateth.is. All Rights Reserved.