Katalog der Deutschen Nationalbibliothek

Go to:

Media

Available in Frankfurt
Available in Frankfurt
Available in Leipzig
Available in Leipzig
Source
buchhandel.de

Gilles Barthe, FMOODS (10, 2008, Oslo) and International Federation for Information Processing. Working Group Architecture and Protocols for Computer Networks

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

Berlin, Heidelberg: Springer, 2008

Title

Formal methods for open object based distributed systems : 10th IFIP WG 6.1 international conference ; proceedings / FMOODS 2008, Oslo, Norway, June 4 - 6, 2008. Gilles Barthe ... (ed.)

Involved 

Gilles Barthe (Mitwirkender)
FMOODS (10, 2008, Oslo) (Herausgebendes Organ)
International Federation for Information Processing. Working Group Architecture and Protocols for Computer Networks (Herausgebendes Organ)

Published

Berlin, Heidelberg: Springer
2008

Extent

Online-Ressource

ISBN

978-3-540-68863-1

Language

Deutsch

Country

Deutschland

Topic

Informatik

Subject

Verteiltes System, Serviceorientierte Architektur, Objektorientierung, Formale Methode, Kongress, Oslo <2008>
Komponente (Software), Objektorientierte Programmierung, Verteilte Programmierung, Formale Methode, Kongress, Oslo <2008>

DDC notation

005.131

Series

Lecture notes in computer science ; 5051

Persistent identifier

urn:nbn:de:1111-20080905103 (URN)
10.1007/978-3-540-68863-1 (DOI)

Further information

Lizenzpflichtig

Record ID

990318389
Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

DNB portal