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: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings (Lecture Notes in Computer Science)


Huge Savings Item! Save 16% on the Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings (Lecture Notes in Computer Science) by Brand: Springer at Translate This Website. MPN: 57 black & white illustrations. Hurry! Limited time offer. Offer valid only while supplies last. This book constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in


Product Description

This book constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in May/June 2012, as part of the TOOLS 2012 Federated Conferences. The 9 revised full papers presented together with 2 invited papers, 4 short papers and one tutorial were carefully reviewed and selected from 29 submissions. The papers are devoted to the convergence of tests and proofs for developing novel techniques and application that support engineers in building secure, safe, and reliable systems. Among the topics covered are model-based testing; scenario-based testing; complex data structure generation; and the validation of protocols and libraries.

Additional Information

Manufacturer:Springer
Brand:Brand: Springer
Part Number:57 black & white illustrations
Publisher:Springer
Studio:Springer
MPN:57 black & white illustrations
EAN:9783642304729
Item Weight:0.6 pounds
Item Size:0.43 x 9.25 x 9.25 inches
Package Weight:0.5 pounds
Package Size:6.1 x 0.5 x 0.5 inches

Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings (Lecture Notes in Computer Science) by Brand: Springer

Buy Now:
Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings (Lecture Notes in Computer Science)

Brand: Brand: Springer
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$69.99
$59.15
You Save: 15%


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 Brand: 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 Springer
mpn: 97 black & white illustrations, biograph, ean: 9783642355509, isbn: 3642355501,
The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implemen...

By Brand: Springer
mpn: 110 black & white illustrations, biograp, ean: 9783642358128, isbn: 3642358128,
Although the self-adaptability of systems has been studied in a wide range of disciplines, from biology to robotics, only recently has the software engineering community recognized its key role in enabling the development of self-adaptive systems tha...

By Brand: Springer
mpn: 150 black & white illustrations, biograp, ean: 9783642361562, isbn: 3642361560,
This book constitutes the refereed proceedings of the 22nd International Conference on Integrated Circuit and System Design, PATMOS 2012, held in Newcastle, UK Spain, in September 2012. The 25 revised full papers presented were carefully reviewed and...

By Springer
mpn: 76 black & white illustrations, biograph, ean: 9783642369636, isbn: 3642369634,
The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implemen...

By Springer
mpn: 50 black & white illustrations, biograph, ean: 9783642389153, isbn: 3642389155,
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 wi...

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



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