Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Programming languages

Buy Now

Tests and Proofs - 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings (Paperback) Loot Price: R1,859

Discovery Miles 18 590

Repayment Terms: R174 pm x 12*

Add to cart

Tests and Proofs - 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings...

Tests and Proofs - 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings (Paperback)

Achim Brucker, Jacques Julliand

Series: Programming and Software Engineering, 7305

(sign in to rate)

Loot Price R1,859 Discovery Miles 18 590 | Repayment Terms: R174 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Programming and Software Engineering, 7305
Release date:	May 2012
First published:	2012
Editors:	Achim Brucker • Jacques Julliand
Dimensions:	235 x 155 x 10mm (L x W x T)
Format:	Paperback
Pages:	177
ISBN-13:	978-3-642-30472-9
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Applications of computing > Computer modelling & simulation Books > Computing & IT > Computer programming > Programming languages > General Books > Computing & IT > Computer software packages > Computer graphics software > General Promotions
LSN:	3-642-30472-9
Barcode:	9783642304729