Summary goes here
Kaydedildi:
| Materyal Türü: | Kitap |
|---|---|
| Dil: | İngilizce |
| Konular: | |
| Etiketler: |
Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 4bb0449d-5486-4eab-929a-e5ea1954af50 |
| isbn | 9783540320845 3540320849 354029189X 9783540291893 |
| issn | |
| language | eng |
| physical | 1 online resource (xii, 558 pages) :illustrations |
| publication | – publisher: Springer dateOfPublication: ©2005 |
| publishDate | ©2005 |
| subjects | |
| title | Formal techniques for networked and distributed systems--FORTE 2005 : 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2-5, 2005 : proceedings / Farn Wang (ed.). |
| topic | Formal methods (Computer science) Electronic data processing Computer network protocols Operating systems (Computers) Electronic Data Processing Méthodes formelles (Informatique) Protocoles de réseaux d'ordinateurs Traitement réparti Systèmes d'exploitation (Ordinateurs) operating systems. COMPUTERS Informatique. Computer network protocols Electronic data processing Formal methods (Computer science) Méthode formelle. Protocole de réseau d'ordinateurs. Model-checking (Informatique) Réseau distribué Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. |