Canali - Formal Techniques for Networked and Distributed Systems - FORTE 2003 : :: Biblioteca ITESO

Documenti analoghi: Formal Techniques for Networked and Distributed Systems - FORTE 2003 :

Anteprima rapida
Formal Techniques for Networked and Distributed Systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings /
Anteprima rapida
Formal Techniques for Networked and Distributed Systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings /
Anteprima rapida
Formal Techniques for Networked and Distributed Systems - FORTE 2004 : 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings /
Anteprima rapida
Formal Techniques for Networked and Distributed Systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings /
Anteprima rapida
Formal Techniques for Networked and Distributed Systems . FORTE 2008 : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings /
Anteprima rapida
Formal Techniques for Networked and Distributed Systems - FORTE 2002 : 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings /
Anteprima rapida
Formal Techniques for Networked and Distributed Systems : FORTE 2001 /
Anteprima rapida
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 /
Anteprima rapida
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, Island, June 6-9, 2011, Proceedings /
Anteprima rapida
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 /
Anteprima rapida
Formal Techniques for Distributed Objects, Components, and Systems : 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec, 2014 Berlin, Germany, June 3-5, 2014 : Proceedings /
Anteprima rapida
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, Proceedings /
Anteprima rapida
Formal Description Techniques, VI : Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93 /
Anteprima rapida
Formal Methods for Distributed System Development : FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10.13, 2000, Pisa, Italy /
Anteprima rapida
Formal Methods for Open Object-Based Distributed Systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings /
Anteprima rapida
Distributed Applications and Interoperable Systems II : IFIP TC6 WG6.1 Second International Working Conference on Distributed Applications and Interoperable Systems (DAIS.99)June 28.July 1, 1999, Helsinki, Finland /
Anteprima rapida
Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE XI/PSTV XVIII.98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3.6 November 1998, Paris, France /
Anteprima rapida
FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings /
Anteprima rapida
Distributed Computing - IWDC 2003 : 5th International Workshop, Kolkata, India, December 27-30, 2003, Proceedings /
Anteprima rapida
Fort Everglades /
Anteprima rapida
Formal Methods for Protocol Engineering and Distributed Systems : Forte XII / PSTV XIX.99 /
Anteprima rapida
Spanish Forts : of Guam /
Anteprima rapida
Distributed Applications and Interoperable Systems : 4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003, Proceedings /
Anteprima rapida
Formal Methods for Open Object-Based Distributed Systems : IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15.18, 1999, Florence, Italy /

Autore: Hartmut König, Monika Heiner, Adam Wolisz

Anteprima rapida
Formal Techniques for Networked and Distributed Systems - FORTE 2003 : 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 /

© 2026 Catálogo Público de la Biblioteca V/F -- v.11.0