logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Formal Methods for Open Object-Based Distributed Systems: 7th Ifip Wg 6.1 International Conference, Fmoods 2005, Athens, Greece, June 15-17, 2005, Proceedings - Martin Steffen, Gianluigi Zavattaro
Formal Methods for Open Object-Based Distributed Systems: 7th Ifip Wg 6.1 International Conference, Fmoods 2005, Athens, Greece, June 15-17, 2005, Proceedings
by: (author) (author)
Format: paperback
ISBN: 9783540261810 (3540261818)
Publisher: Springer
Pages no: 326
Edition language: English
Bookstores:
Books by Gianluigi Zavattaro
Concur 2009 Concurrency Theory: 20th International Conference, Concur 2009, Bologna, Italy, September 1 4, 2009, Proceedings (Lecture Notes In Computer ... Computer Science And General Issues) - Mario Bravetti, Gianluigi Zavattaro
Formal Methods for Open Object-Based Distributed Systems: 7th Ifip Wg 6.1 International Conference, Fmoods 2005, Athens, Greece, June 15-17, 2005, Proceedings - Martin Steffen, Gianluigi Zavattaro
Formal Methods For Computational Systems Biology: 8th International School On Formal Methods For The Design Of Computer, Communication, And Software Systems, ... / Programming And Software Engineering) - Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro
Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services ... Computer Science and General Issues) - Mario Bravetti, Leila Kloul, Gianluigi Zavattaro
Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures - Marco Bernardo, Gianluigi Zavattaro, Luca Padovani
Coordination Models And Languages: 10th International Conference, Coordination 2008, Oslo, Norway, June 4 6, 2008, Proceedings (Lecture Notes In Computer ... / Programming And Software Engineering) - Doug Lea, Gianluigi Zavattaro
Books by Martin Steffen
Formal Methods for Open Object-Based Distributed Systems: 7th Ifip Wg 6.1 International Conference, Fmoods 2005, Athens, Greece, June 15-17, 2005, Proceedings - Martin Steffen, Gianluigi Zavattaro
Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings - Olaf Owe, Martin Steffen, Jan Arne Telle
Concurrency, Compositionality, And Correctness: Essays In Honor Of Willem Paul De Roever (Lecture Notes In Computer Science / Theoretical Computer Science And General Issues) - Dennis Dams, Martin Steffen, Ulrich Hannemann
Share this Book
Copyright © 2024 BookLikes Press About Terms of Services Privacy Policy Contact Us Blog FAQ Patronaty medialne BookLikes for Authors Partners panel Team Themes Docs API Blogs
Need help?
Important: Our sites use cookies. We use the information stored using cookies and similar technologies for advertising and statistics purposes. Stored data allow us to tailor the websites to individual user's interests. Cookies may be also used by third parties cooperating with BookLikes, like advertisers, research companies and providers of multimedia applications. You can choose how cookies are handled by your device via your browser settings. If you choose not to receive cookies at any time, BookLikes will not function properly and certain services will not be provided. For more information, please go to our Privacy Policy.