Formal Techniques for Networked and Distributed Systems - FORTE 2003 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: König, Hartmut (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Heiner, Monika (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Wolisz, Adam (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
• Έκδοση: 1st ed. 2003.
• Σειρά: Lecture Notes in Computer Science, 2767
• Θέματα: Computer communication systems.; Software engineering.; Operating systems (Computers).; Computer logic.; Computer Communication Networks.; Software Engineering.; Operating Systems.; Logics and Meanings of Programs.

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...