![book Finiteness and Regularity in Semigroups and Formal Languages](/covers/files_170/944000/c6696bf8d0a80c6b0b9bdd8461de8220-d.jpg)
- Author: Aldo de Luca Stefano Varricchio
- Language: English
- Year: 1999
![book Syntax-Directed Semantics: Formal Models Based on Tree Transducers](/covers/files_170/944000/2a898bc77b2733fe0f9e01912e5fbbe5-d.jpg)
- Author: Zoltán Fülöp Heiko Vogler
- Language: English
- Year: 1998
![book Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use](/covers/files_170/944000/ed124a3c0f8fc8689508871544be0a4e-d.jpg)
- Author: Kurt Jensen
- Language: English
- Year: 1997
![book Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use](/covers/files_170/931000/d59798cd1df51915def50fd33709a4ab-d.jpg)
- Author: Kurt Jensen
- Language: English
- Year: 1997
![book Logics of Specification Languages](/covers/files_170/924000/4bdd98cdecf645386ef3477b4fad1700-d.jpg)
- Author: Dines Bjørner Martin C. Henson (eds.)
- Language: English
- Year: 2008
![book Foundations of Algebraic Specification and Formal Software Development](/covers/files_170/872000/fef62bad8ec196267572083dfa5c9fb4-d.jpg)
- Author: Donald Sannella Andrzej Tarlecki
- Language: English
- Year: 2012
![book Deterministic Extraction from Weak Random Sources](/covers/files_170/834000/bd88223496b09f79d62e674104138c9e-d.jpg)
- Author: Ariel Gabizon
- Language: English
- Year: 2011
![book Patterns in Permutations and Words](/covers/files_170/833000/3e329980b8a21a13b5d86c55f8d8eac5-d.jpg)
- Author: Sergey Kitaev
- Language: English
- Year: 2011
![book Foundations of Algebraic Specification and Formal Software Development](/covers/files_170/832000/ad2be8ad4c247e9bd7872c206c656228-d.jpg)
- Author: Donald Sannella Andrzej Tarlecki
- Language: English
- Year: 2012
![book Foundations of Algebraic Specification and Formal Software Development](/covers/files_170/824000/2bc905cf5c8667fa0a7f48141e0b9385-d.jpg)
- Author: Donald Sannella Andrzej Tarlecki
- Language: English
- Year: 2012