Aceto Books
Reactive Systems: Modelling, Specification And Verification
By Anna, Jiri Srba, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Luca Aceto, Larsen, Luca, Jiří, Aceto, Ingólfsdóttir, Kim Guldstrand, Srba
accessible Text Describing The Process Algebraic Approach To The Specification And Verification Of Software And Software Systems Using Mathematical Logic.
Read More
Contact Englishes Of The Eastern Caribbean
By Michael, Aceto, Michael Aceto
Contact Englishes of the Eastern Caribbean is the first collection to focus, via primary linguistic fieldwork, on the underrepresented and neglected area of the Anglophone Eastern Caribbean. The fo...
Read More