Top 155 jemma forte PDF Book Page 7
Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001
Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee
·472 Pages
·2001
·3.394 MB
Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
Michael Lienhardt, Ivan Lanese (auth.), Holger Giese, Grigore Rosu (eds.)
·278 Pages
·2012
·3.291 MB
Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings
David Kitchin, Adrian Quark, William Cook, Jayadev Misra (auth.), David Lee, Antónia Lopes, Arnd Poetzsch-Heffter (eds.)
·260 Pages
·2009
·5.358 MB
Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
Gerard J. Holzmann (auth.), John Hatcliff, Elena Zucca (eds.)
·244 Pages
·2010
·2.948 MB
Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
Giuseppe Castagna (auth.), Roberto Bruni, Juergen Dingel (eds.)
·361 Pages
·2011
·4.282 MB
Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerla
Ahmed Bouajjani, Alexandra Silva (eds.)
·255 Pages
·2017
·6.321 MB
Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proce
Tevfik Bultan (auth.), Dirk Beyer, Michele Boreale (eds.)
·333 Pages
·2013
·3.911 MB
Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Gr
Elvira Albert, Ivan Lanese (eds.)
·289 Pages
·2016
·8.851 MB
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.
