Formal techniques for networked and distributed systems - FORTE 2003 : 23rd IFIP WG 6.1 international conference, Berlin, Germany, september 29 - october 2, 2003 : proceedings
This volume contains the proceedings of FORTE 2003, the 23rd IFIP TC 6/ WG 6.1 International Conference on Formal Techniques for Networked and D- tributed Systems, held in Berlin, Germany, September 29 October 2, 2003. FORTE denotes a series of international working conferences on formal descr- tion...
Kaydedildi:
| Müşterek Yazar: | |
|---|---|
| Diğer Yazarlar: | , , |
| Materyal Türü: | Livre numérique |
| Dil: | Anglais |
| Baskı/Yayın Bilgisi: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seri Bilgileri: | Lecture notes in computer science
2767 |
| Konular: | |
| Online Erişim: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Not: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Formal techniques for networked and distributed systems, FORTE 2003, 23rd IFIP WG 6.1 international conference, Berlin, Germany, september 29 - october 2, 2003, proceedings, ed.by Hartmut König, Monika Heiner, Adam Wolisz, Berlin, Springer, 2003, 1 vol. (XII-429 p.), Lecture notes in computer science, 3-540-20175-0 • Formal Techniques for Networked and Distributed Systems - FORTE 2003, Texte imprimé, 9783662190128 |