Suchergebnisse - Formal Methods for Open Object-Based Distributed Systems

Bücher & mehr

Bücher, Zeitschriften, Online-Medien und mehr aus Ihrer Bibliothek

Treffer 1 - 20 von 1.230 für Suche: 'Formal Methods for Open Object-Based Distributed Systems', Suchdauer: 0,61s

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 : 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 for the design of real-time systems : revised lectures

Bernardo, Marco (Herausgeber)

Berlin : Springer, 2004

Buch

Research methods for information systems

King, Ronald S. (Verfasser)

Dulles ; Boston ; New Delhi : Mercury Learning and Information, [2013]

Buch

Models and analysis in distributed systems

Haddad, Serge

London [u.a.] : ISTE ;, 2011

E-Book

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

Modelling Distributed Systems

Fokkink, Wan (Verfasser)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

E-Book

The Application of Formal Methods : Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

Foster, Simon (Herausgeber)

1st ed. 2024

Cham : Springer Nature Switzerland, 2024

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

IT Crisisology Models : Object-Based Optimization for Sustainable Development

Zykov, Sergey V (Verfasser)

1st ed. 2024

Singapore : Springer Nature Singapore, 2024

E-Book

Applicable Formal Methods for Safe Industrial Products : Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

Haxthausen, Anne E (Herausgeber)

1st ed. 2023

Cham : Springer Nature Switzerland, 2023

E-Book

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

Parallel and distributed simulation systems

Fujimoto, Richard M.

New York [u.a.] : Wiley, 2000

Buch

Formal Methods and Testing : An Outcome of the FORTEST Network. Revised Selected Papers

Hierons, Robert M. (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

E-Book

An Integrating Approach for Developing Distributed Software Systems -Combining Formal Methods, Software Reuse, and the Experience Base-

Feldmann, Raimund L.

Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik, 1999

E-Book

Distributed video sensor networks

Bhanu, Bir

London : Springer, 2011

Buch

Formal techniques in real-time and fault-tolerant systems : 7th international symposium ; proceedings

Damm, Werner (Herausgeber)

Berlin : Springer, 2002

Buch

Formal Methods and Software Engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings

Liu, Zhiming (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

Mehr Treffer in Bücher & mehr

Das Gesuchte nicht gefunden? Kaufvorschlag / Onleihe / Fernleihe

Artikel & mehr

Wird geladen...