KOBV Portal

Hits per page

hit 1 - 1 | 1 hit

Select All Export

Online Resource

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 (2009)

Lee, David [Sonstige] ; International Federation for Information Processing Working Group Architecture and Protocols for Computer Networks ; International Conference FMOODS 11 2009 Lissabon

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV035569341

Format: 1 Online-Ressource (XII, 248 S.) , graph. Darst.

ISBN: 9783642021374 , 9783642021381

Series Statement: Lecture notes in computer science 5522

Note: Literaturangaben

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Verteiltes System ; Formale Methode ; Rechnernetz ; Softwarespezifikation ; Formale Spezifikationstechnik ; Softwaretest ; Formale Methode ; Konferenzschrift ; Electronic books ; Konferenzschrift

DOI: 10.1007/978-3-642-02138-1

URL: Volltext

URL: Volltext (lizenzpflichtig)

URL: Inhaltstext

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

UB Potsdam

BTU Cottbus

hit 1 - 1 | 1 hit

Kooperativer Bibliotheksverbund

Berlin Brandenburg