منو
رکورد قبلیرکورد بعدی

" Formal techniques for networked and distributed systems - FORTE 2002 : "


Document Type : BL
Record Number : 745824
Doc. No : b565773
Main Entry : Doron A. Peled ; Moshe Y. Vardi (ed.).
Title & Author : Formal techniques for networked and distributed systems - FORTE 2002 : : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 ; proceedings\ Doron A. Peled ; Moshe Y. Vardi (ed.).
Publication Statement : Berlin ; Heidelberg ; New York ; Hong Kong ; London ; Milan u.a. : Springer, 2002
Series Statement : Lecture notes in computer science, 2529.
Page. NO : XI, 368 Seiten
ISBN : 3540001417
: : 3540361359
: : 9783540001416
: : 9783540361350
Notes : Literaturangaben.
Subject : Formale Methode.
Subject : Formale Spezifikationstechnik.
Subject : Kommunikationsprotokoll.
LC Classification : ‭QA76.9.F67‬‭D676 2002‬
Added Entry : Doron Peled
copyhttps://lib.clisel.com/site/catalogue/745824
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟