Cover Image

Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 Workshops : The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings /

Show other versions (1)
Bibliographic Details
Corporate Authors: FORTE 2004 Workshops Toledo, Spain, SpringerLink (Online service), LINK (Online service), FormEMC (Workshop), EPEW (Workshop), ITM (Conference)
Other Authors: Núñez, Manuel
Format: Conference Proceeding eBook
Language:English
Published: Berlin : Springer-Verlag, [2004]
Series:Lecture notes in computer science ; 3236.
Subjects:
Formal methods (Computer science) > Congresses.
Electronic data processing > Distributed processing > Congresses.
Computer network protocols > Congresses.
Computer network protocols.
Electronic data processing > Distributed processing.
Formal methods (Computer science)
Electronic books.
Conference proceedings.
Online Access:Connect to the full text of this electronic book
Description
Item Description:"This volume contains ... three workshops colocated with the International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)."--Preface.
Electronic resource.
Physical Description:1 online resource (xi, 379) : illustrations (some color).
Bibliography:Includes bibliographical references and index.
ISBN:3540231692
9783540231691