Yorumlar: 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.).

Summary goes here

Kaydedildi:

Detaylı Bibliyografya
Materyal Türü:	Kitap
Dil:	İngilizce
Konular:	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. 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.
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

İlk yorumlayan siz olun!