Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Formal Techniques for Distributed Systems : Joint 14th IFIP WG 6. 1 International Conference, FMOODS 2012 and 32nd IFIP WG 6. 1 International Conferen

Formal Techniques for Distributed Systems : Joint 14th IFIP WG 6. 1 International Conference, FMOODS 2012 and 32nd IFIP WG 6. 1 International Conferen

by Holger Giese, Grigore Rosu Paperback 2012

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Holger Giese, Grigore Rosu
  • ISBN 13: 9783642307928
  • ISBN 10: 3642307922
  • Publication Year: 2012
  • Language: English

Specifications

Index-103642307922
LanguageEnglish
Index-139783642307928
Period-
Class Track-
Publisher- (2012)
Pages-

✨ Readers also enjoyed...

View All →
Architecting Critical Systems : First International Symposium, Prague, Czech Republic, June 23-25 2010

Architecting Critical Systems : Fi…

Holger Giese

Inquire
Graph Transformation : 7th International Conference, ICGT 2014, Held As Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings

Graph Transformation : 7th Interna…

Holger Giese, Barbara König

Inquire
Model-Based Engineering of Embedded Real-Time Systems : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selecte

Model-Based Engineering of Embedde…

Holger Giese, Gabor Karsai, Edward A. Lee, Melissa Bigner, Bernhard Schätz

Inquire
Software Engineering for Multi-Agent Systems V : Research Issues and Practical Applications

Software Engineering for Multi-Age…

Ricardo Choren, Alessandro Garcia, Holger Giese, Ho-fung Leung, Carlos Lucena

Inquire
Software Engineering for Self-Adaptive Systems

Software Engineering for Self-Adap…

Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee

Inquire