Scientific Library of Tomsk State University

   E-catalog        

Image from Google Jackets
Normal view MARC view

Formal Techniques for Computer Systems and Business Processes Электронный ресурс European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September

By: Bravetti, MarioContributor(s): Kloul, Leila | Zavattaro, Gianluigi | SpringerLink (Online service)Material type: Computer fileComputer fileSeries: Lecture Notes in Computer SciencePublication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005ISBN: 9783540319030Subject(s): Computer Communication Networks | Computer Science | Computer system performance | Logic design | Software engineering | Computer Science | Computer Communication Networks | Computers and Society | Logics and Meanings of Programs | Software Engineering | System Performance and EvaluationOnline resources: Click here to access online In: Springer e-books
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

There are no comments on this title.

to post a comment.