Pay in 4 interest-free payments of $25.00 Learn more
Ships within 48 hours · Estimated delivery Aug 15 - Aug 20
with quality and satisfaction as our top priority
With the book Tirocinium Graecum
Headway Fourth Edition Video (Niveau Beginner-Intermediate)
waardoor zowel feedback aan de leerling als inzicht voor ouders mogelijk is
so you can immediately get started with this valuable material
Reactive Systems: Modelling, Specification and Verification 113 Taal Hoger Onderwijs | Taalonderwijs | HBO | WO | Study & Professional with quality and satisfaction asReactive 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
US$ 304.35
US$ 167.49
US$ 155.32
US$ 246.90
US$ 153.72
US$ 133.49
US$ 258.25
US$ 157.95
US$ 177.70
US$ 52.49
US$ 158.57
