Cantitate/Preț
Produs

Über die Erkennbarkeit unendlicher Spuren: XTEUBNER-TEXTE zur Informatik, cartea 17

Cu Anca Muscholl
de Limba Germană Paperback – noi 1995

Din seria XTEUBNER-TEXTE zur Informatik

Preț: 34012 lei

Nou

Puncte Express: 510

Preț estimativ în valută:
6511 6696$ 5402£

Carte tipărită la comandă

Livrare economică 19 februarie-05 martie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783815420676
ISBN-10: 3815420679
Pagini: 120
Ilustrații: IV, 112 S. 1 Abb. Mit 12 Bildern.
Dimensiuni: 170 x 244 x 6 mm
Greutate: 0.2 kg
Ediția:1996
Editura: Vieweg+Teubner Verlag
Colecția Vieweg+Teubner Verlag
Seria XTEUBNER-TEXTE zur Informatik

Locul publicării:Wiesbaden, Germany

Public țintă

Upper undergraduate

Textul de pe ultima copertă

Unendliche Mazurkiewicz Spuren stellen einen mathematischen Rahmen dar für die Untersuchung nichtterminierender nebenläufiger Systeme, z. B. verteilter Transaktionssysteme. Eine grundlegende Eigenschaft dabei ist die endliche Kontrollierbarkeit (Erkennbarkeit) des Systemverhaltens. Das vorliegende Buch behandelt den Begriff der Erkennbarkeit für unendliche Spuren aus der Sicht der Automaten mit verteilter Kontrolle. Es werden grundlegende Automaten-Konstruktionen (Determinisierung, Komplementierung) vorgestellt, und damit wird die klassische Theorie der unendlichen Sequenzen zu unendlichen Spuren erweitert.