Normal view MARC view ISBD view

Testing of Software and Communicating Systems [Recurso electrónico] : 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings. Alexandre Petrenko

Petrenko, Alexandre .

Contributor(s): Grieskamp, Wolfgang | Tretmans, Jan | Veanes, Margus | SpringerLink (Online service).

Material type: materialTypeLabel

Computer file; Format: electronic available online remote

Series: Lecture Notes in Computer Science, 4581.Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Description: v.: digital.ISBN: 9783540730668.Subject(s): Computer Communication Networks

| Computer science

| Information Systems

| Logic design

| Software engineering

| Telecommunication

| Computer Science

| Communications Engineering, Networks

| Computer Communication Networks

| Logics and Meanings of Programs

| Management of Computing and Information Systems

| Programming Languages, Compilers, Interpreters

| Software Engineering

Online resources: Texto completo In: Springer e-books

Tags from this library: No tags from this library for this title. Log in to add tags.

average rating: 0.0 (0 votes)

Holdings ( 0 )
Title notes
Comments ( 0 )

No physical items for this record

Enhanced descriptions from Syndetics:

This book constitutes the refereed proceedings of the 19th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2007, and the 7th International Workshop on Formal Approaches to Testing of Software, FATES 2007, held in Tallinn, Estonia. It covers all current issues in testing communicating systems and formal approaches in testing of software, from classical telecommunication issues to general software testing.

Restringido a usuarios de la UCA

Modo de acceso: World Wide Web