My Library

University LibraryCatalogue


LEADER 00000uam a2200445 a 4500 
003    CaSebORM 
005    20190130233208.2 
006    m        u         
007    cr cn          
008    190129s2012    xx      o           eng   
019    SAFARI9781439846193 
020    |z9781439846193 
020    |z9781439846186 
020    |z1439846189 
020    |z9781439846193 
020    |z9781439846193 
024 8  KE12040 
024 8  9781439846193 
035    (Safari)9781439846193 
041 0  eng 
100 1  Wang, Jiacun,|eauthor. 
245 10 Handbook of Finite State Based Models and Applications
       |h[electronic resource] /|cWang, Jiacun. 
250    1st edition 
264  1 |bCRC Press,|c2012. 
300    409 p. 
336    text|btxt|2rdacontent 
337    computer|bc|2rdamedia 
338    online resource|bcr|2rdacarrier 
347    text file 
520    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. 
533    Electronic reproduction.|bBoston, MA :|cSafari,|nAvailable
       via World Wide Web.|d2012. 
538    Mode of access: World Wide Web. 
542    |fCopyright © CRC Press 2012|g2012 
550    Made available through: Safari, an O’Reilly Media Company.
655  7 Electronic books.|2local 
710 2  Safari, an O’Reilly Media Company. 
830  0 Safari Books Online 
856 40 |uhttps://ezp.lib.unimelb.edu.au/login?url=https://
       www.safaribooksonline.com/library/view/-/9781439846193/?ar
       &orpq&email=^u|zConnect to ebook (University of Melbourne 
       only) 
990    Safari Books Online 
990    Batch Ebook load (bud2) - do not edit, delete or attach 
       any records. 
Location Call No. Status
 UniM INTERNET resource    AVAILABLE