Formal techniques for networked and distributed systems - FORTE 2007 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27 - 29, 2007 ; proceedings John Derrick; Jüri Vain (eds.)
Materialtyp:
TextVerlagsnummer: 12079162Sprache: Englisch Reihen: ; 457400 | Lecture notes in computer science ; 4574Verlag: Berlin Heidelberg [u.a.] Springer 2007Beschreibung: XI, 373 S. graph. Darst. 235 mm x 155 mmInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
- 3540731954
- 9783540731955
- Formal methods (Computer science) -- Congresses
- Electronic data processing -- Distributed processing -- Congresses
- Computer network protocols -- Congresses
- Formale Methode
- Formale Methode
- Formale Spezifikationstechnik
- Rechnernetz
- Software
- Softwarespezifikation
- Testen
- Verteiltes System
- Verteiltes System
- Formale Methode
- Rechnernetz
- Softwarespezifikation
- Formale Spezifikationstechnik
- Software
- Testen
- Formale Methode
- QA76.9.F67
- SS 4800
- *68-06
- 68M10
- 68M14
- 00B25
- 54.52
- 54.32
- 3
- Archivierung/Langzeitarchivierung gewährleistet PEBW
| Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | Fälligkeitsdatum | Barcode | |
|---|---|---|---|---|---|---|---|---|
Buch
|
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Series (GF) | LNCS 4574 (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2000000237589 |
Literaturangaben
Formal Techniques for Networked and Distributed Systems - FORTE 2007
Archivierung prüfen 20200919 DE-640 3 pdager
Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31