Tests and proofs : 5th international conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings

This book constitutes the refereed proceedings of the 5th International conference on test and proofs, TAP 2011, held in Zurich, Switzerland in June/July 2011. The 12 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 27 submissions. Among the topi...

Celý popis

Podrobná bibliografie

Další autoři:	Gogolla, Martin, 1954- (Editor)  Wolff, Burkhart, 1962- (Editor)
Korporace:	SpringerLink (online služba) (Distributor)
Konference:	TAP 2011 (Curych, Švýcarsko)
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Heidelberg ; Dordrecht ; London ; New York : Springer, 2011
Edice:	Lecture notes in computer science
Žánr/forma:	elektronické knihy sborníky konferencí
ISBN:	978-3-642-21768-5 978-3-642-21767-8
Témata:	informatika počítače softwarové inženýrství programování programovací jazyky matematická logika formální jazyky
On-line přístup:	Plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!