Testing of communicating systems
: 18th IFIP TC 6 WG 6.1 international conference ; proceedings / TestCom 2006, New York, NY, USA, May 16 - 18, 2006. M. Ümit Uyar ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3964)
ISBN 978-3-540-34185-7
Lizenzpflichtig
Quelle: DNB
Testing of communicating systems
: 18th IFIP TC 6 WG 6.1 international conference ; proceedings / TestCom 2006, New York, NY, USA, May 16 - 18, 2006. M. Ümit Uyar ... (ed.). - Berlin : Springer, 2006. - XI, 372 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3964)
ISBN 978-3-540-34184-0 / 3-540-34184-6 kart. : EUR 78.11 (freier Pr.), ca. sfr 129.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Testing of software and communicating systems
: 20th IFIP TC 6 WG 6.1 international conference ; proceedings / TestCom 2008 ; 8th International Workshop, FATES 2008, Tokyo, Japan, June 10 - 13, 2008. Kenji Suzuki ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5047)
ISBN 978-3-540-68524-1
Lizenzpflichtig
Quelle: DNB
Testing of software and communicating systems
: 19th IFIP TC6/WG6.1 international conference ; proceedings / TestCom 2007 ... Tallin, Estonia, June 26 - 29, 2007. Alexandre Petrenko ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4581)
ISBN 978-3-540-73066-8
Lizenzpflichtig
Quelle: DNB
Riedemann, Eike Hagen: Testmethoden für sequentielle und nebenläufige Software-Systeme
/ von Eike Hagen Riedemann. - Stuttgart : Teubner, 1997. - 512 S.; 23 cm - (Leitfäden der Informatik)
ISBN 978-3-519-02274-9 / 3-519-02274-5 kart. : DM 78.00, sfr 70.00, S 569.00
Literaturverz. S. 477 - 499
Quelle: DNB
Tests and proofs
: first international conference ; revised papers / TAP 2007, Zurich, Switzerland, February 12 - 13, 2007. Yuri Gurevich ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4454)
ISBN 978-3-540-73770-4
Lizenzpflichtig
Quelle: DNB
Tests and proofs
: first international conference ; revised papers / TAP 2007, Zurich, Switzerland, February 12 - 13, 2007. Yuri Gurevich ; Bertrand Meyer (ed.). - Berlin : Springer, 2007. - VIII, 216 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4454)
ISBN 978-3-540-73769-8 / 3-540-73769-3 kart. : EUR 44.94 (freier Pr.), sfr 73.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Tests and proofs
: second international conference ; proceedings / TAP 2008, Prato, Italy, April 9 - 11, 2008. Bernhard Beckert ; Reiner Hähnle (ed.). - Berlin : Springer, 2008. - X, 191 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4966)
ISBN 978-3-540-79123-2 kart. : EUR 44.94 (freier Pr.), ca. sfr 73.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Test und Verlässlichkeit von Rechnern
/ Günter Kemnitz. - Berlin : Springer, 2007. - Online-Ressource - (eXamen.press)
ISBN 978-3-540-71355-5
Lizenzpflichtig
Quelle: DNB
Verified software: theories, tools, experiments
: second international conference ; proceedings / VSTTE 2008, Toronto, Canada, October 6 - 9, 2008. Natarajan Shankar ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5295)
ISBN 978-3-540-87873-5
Lizenzpflichtig
Quelle: DNB
