مرحباً بك في جرير!
Item 1 of 1
Item 1 of 1
Springer
Formal Models of Communicating Systems : Languages
Automataand Monadic Second-Order Logic
471ر.س.
شامل ضريبة القيمة المضافة
28ر.س.شهرياً/24 شهر
هذا الكتاب يُطبع عند الطلب وغير قابل للاسترجاع بعد الشراء
الصيغ المتوفرة:
كتاب مطبوع
سيتم إرسال الطلب الى عنوانك
471ر.س.
شامل الضريبة
استبدال أسهل
تسوّق آمن
أصلي ومضمون
توصيل سريع
أو
عن المنتج
Preliminaries.- Graphs, Logics, and Graph Acceptors.- Words and Finite Automata.- Dags and Asynchronous Cellular Automata.- Mazurkiewicz Traces and Asynchronous Automata.- Message Sequence Charts.- Communicating Finite-State Machines.- Beyond Implementability.
أبلغ عن مشكلة مع هذا المنتج
