UB FFM: Suchergebnisse - Formal Methods for Open Object-Based Distributed Systems

1
2
3
4
5
6
7
8
9
10
11
weiter
[21]

Formal methods for open object based distributed systems : 8th IFIP WG 6.1 international conference ; proceedings

Gorrieri, Roberto

Berlin : Springer, 2006

E-Book

Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

Barthe, Gilles (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

E-Book

Formal Methods for Open Object-Based Distributed Systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003. Proceedings

Najm, Elie (Verfasser)

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2003

E-Book

Formal Methods for Open Object-Based Distributed Systems : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings

Bonsangue, Marcello M (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

E-Book

Formal Methods for Open Object-Based Distributed Systems : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings

Gorrieri, Roberto (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

Formal Methods for Open Object-Based Distributed Systems : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings

Steffen, Martin (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

E-Book

Formal methods : proceedings
2.

Wing, Jeannette M. (Hrsg.)

Berlin [u.a.] : Springer, 1999

Buch

Formal methods : proceedings
1.

Wing, Jeannette M. (Hrsg.)

Berlin [u.a.] : Springer, 1999

Buch

Formal Modeling: Actors; Open Systems, Biological Systems : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday

Agha, Gul (Herausgeber)

1st edition 2011

Berlin, Heidelberg : Springer Berlin Heidelberg, 2011

E-Book

Verification of reactive systems : formal methods and algorithms

Schneider, Klaus

Berlin [u.a.] : Springer, 2004

Buch

Integrated formal methods : second international conference ; proceedings

Grieskamp, Wolfgang (Herausgeber)

Berlin : Springer, 2000

Buch

Formal Techniques for Networked and Distributed Systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings

Derrick, John (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

E-Book

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

Beyer, Dirk (Herausgeber)

1st ed. 2013

Berlin, Heidelberg : Springer Berlin Heidelberg, 2013

E-Book

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

Giese, Holger (Herausgeber)

1st ed. 2012

Berlin, Heidelberg : Springer Berlin Heidelberg, 2012

E-Book

Applied formal methods - FM trends 98 : proceedings

Hutter, Dieter (Herausgeber)

Berlin : Springer, 1999

Buch

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

Bruni, Roberto (Herausgeber)

1st ed. 2011

Berlin, Heidelberg : Springer Berlin Heidelberg, 2011

E-Book

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

Hatcliff, John (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

E-Book

Open distributed processing : experiences with distributed environments ; proceedings of the Third IFIP TC/WG 6.1 International Conference on Open Distributed Processing, 1994

Raymond, Kerry (Herausgeber)

1. edition

London : Chapman & Hall, 1995

Buch

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

Lee, David (Herausgeber)

1st ed. 2009

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

E-Book

Open distributed systems : on concepts, methods, and design from a logical point of view

Gotzhein, Reinhard

Braunschweig [u.a.] : Vieweg, 1993

Buch

1
2
3
4
5
6
7
8
9
10
11
weiter
[21]

Treffer 1 - 20 von 406

Seite in der Trefferliste auswählen

Seite in der Trefferliste auswählen

Suche einschränken