Formal Techniques for Computer Systems and Business Processes
Subtitle: European Performance Engineering Workshop, EPEW 2005and International Workshop on Web Services ... (Lecture Notes in Computer Science)
Contributors: Mario Bravetti (Editor); Leila Kloul (Editor); Gianluigi Zavattaro (Editor)
Edition: 1 edition
Publisher: Springer
Published: September 29, 2005
Language: eng
Format: Paperback
Number of pages: 349
ISBN-13: 9783540287018
Subjects: Cybernetics & systems theory; Networking - General; Computer Science; Computers; Computers - Communications / Networking; Computer Books: General; Programming - Software Development; Programming - Systems Analysis & Design; Computers / Programming / Software Development; QOS; Web services; XML; formal methods; formal verification; model checking; Computer systems; Congresses; Evaluation; Formal methods (Computer science); Telecommunication systems