Pay in 4 interest-free payments of $25.00 Learn more
Ships within 48 hours · Estimated delivery Aug 15 - Aug 20
ISBN: 9789047302537
It is suitable for readers and professionals seeking deeper insight into the medieval period and European history
The book is suitable for students and professionals seeking deeper insight into history and related fields
With the book Tirocinium Graecum
Reactive Systems: Modelling, Specification and Verification 113 Taal Hoger Onderwijs | Taalonderwijs | HBO | WO | Study & Professional ISBN: 9789047302537Reactive Systems: Modelling, Specification and Verification van Luca Aceto, Anna Ingolfsdottir en Kim Guldstrand Larsen is een Engelstalig studieboek gericht op de specificatie en verificatie van software en gedistribueerde systemen. Dit naslagwerk is bedoeld voor professionals en studenten die een gebalanceerde introductie zoeken in formele methoden. Het boek behandelt methodologien voor the specification and verification van software met behulp van
