Tests and Proofs : 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings

This volume contains the proceedings of TAP 2010, the 4th International C- ference on Tests and Proofs held during July 1-2 in M´ alaga, Spain as part of TOOLS Federated Conferences. TAP 2010wasthe fourth event of an ongoingseriesof conferencesdevoted to the convergence of proofs and tests. In the p...

Celý popis

Podrobná bibliografie

Další autoři:	Fraser, Gordon (Editor) Gargantini, Angelo (Editor)
Korporace:	SpringerLink (online služba)
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Berlin ; Heidelberg : Springer Berlin Heidelberg, 2010
Edice:	Lecture Notes in Computer Science
Žánr/forma:	elektronické knihy
ISBN:	978-3-642-13977-2 9783642139765
Témata:	informatika softwarové inženýrství programování programovací jazyky matematická logika
On-line přístup:	Plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!