Handbook of Finite State Based Models an

Forfatter

Kort om boken

Applicable to any problem that requires a finite number of solutions, finite state-based models (also called finite state machines or finite state automata) have found wide use in various areas of computer science and engineering. Handbook of Finite…
367,-
459,-
Spar 92,-
Format/språk
Format
Forklaring av formater
  • Innbundet

    Bok med hardt omslag.

  • Pocket

    Heftet bok med mykt omslag.

  • Kartonert

    Bok med tykke, stive sider.

  • E-Bok

    Digitalt format. E-bok kan leses i ARK-appen eller på Kindle. Bøkene kan også lastes ned fra Din side.

  • Nedlastbar lydbok

    Digitalt format. Nedlastbar lydbok kan lyttes til i ARK-appen. Bøkene kan også lastes ned fra Din side.

  • Digikort lydbok

    Lydbok på digikort. Krever Digispiller.

  • Compact Disc

    Lydbok eller musikk på CD. Krever CD-spiller eller annen kompatibel avspiller.

  • Vinyl

    Vinylplate. Krever platespiller.

  • DVD

    DVD-film. Krever DVD-spiller eller annen kompatibel avspiller.

  • Blu-ray

    Blu-ray-film. Krever Blu-ray-spiller eller annen kompatibel avspiller.

    Om Handbook of Finite State Based Models an

    Applicable to any problem that requires a finite number of solutions, finite state-based models (also called finite state machines or finite state automata) have found wide use in various areas of computer science and engineering. Handbook of Finite State Based Models and Applications provides a complete collection of introductory materials on finite state theories, algorithms, and the latest domain applications. For beginners, the book is a handy reference for quickly looking up model details. For more experienced researchers, it is suitable as a source of in-depth study in this area. The book first introduces the fundamentals of automata theory, including regular expressions, as well as widely used automata, such as transducers, tree automata, quantum automata, and timed automata. It then presents algorithms for the minimization and incremental construction of finite automata and describes Esterel, an automata-based synchronous programming language for embedded system software development.Moving on to applications, the book explores regular path queries on graph-structured data, timed automata in model checking security protocols, pattern matching, compiler design, and XML processing. It also covers other finite state-based modeling approaches and applications, including Petri nets, statecharts, temporal logic, and UML state machine diagrams.

    Kundevurderinger

    Totalvurdering: 

    Gi din vurdering: 
    Totalvurdering: 

    Detaljer

    Format
    E-Bok
    Kopisperre
    Teknisk DRM
    Filformat
    PDF
    Utgivelsesår
    2016
    Forlag
    CRC Press
    Språk
    Engelsk
    ISBN
    9781439846193
    Sider
    409

    Anbefalt

    Anbefalt