Über die Erkennbarkeit unendlicher Spuren: XTEUBNER-TEXTE zur Informatik, cartea 17
Cu Anca Muschollde Limba Germană Paperback – noi 1995
Preț: 340.12 lei
Nou
Puncte Express: 510
Preț estimativ în valută:
65.11€ • 66.96$ • 54.02£
65.11€ • 66.96$ • 54.02£
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
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 undergraduateTextul 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.