Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, ... / Programming and Software Engineering)
by
ISBN 13: 9783642019173
Format: Paperback (341 pages) Publisher: Springer Published: 12 May 2009
Save for later
CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783642040801
Format: Paperback (638 pages) Publisher: Springer Published: 17 Aug 2009
Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software ... / Programming and Software Engineering)
ISBN 13: 9783540688921
Format: Paperback (525 pages) Publisher: Springer Published: 20 May 2008
Coordination Models and Languages: 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, Proceedings (Lecture Notes in ... / Programming and Software Engineering)
ISBN 13: 9783540682646
Format: Paperback (347 pages) Publisher: Springer Published: 27 May 2008
Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web ... 3670 (Lecture Notes in Computer Science)
by Leila Kloul,Mario Bravetti,Gianluigi Zavattaro
ISBN 13: 9783540287018
Format: Paperback (368 pages) Publisher: Springer Published: 13 Jun 2008
Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings: 3535 (Lecture Notes in Computer Science)
by Martin Steffen,Gianluigi Zavattaro
ISBN 13: 9783540261810
Format: Illustrated (336 pages) Publisher: Springer Published: 13 Jun 2008