Key Features:
- The algebra caters to the needs of real-life component-based system design
- Verification is based on real-life system properties
- A property-preservation approach for verification is built into the algebra
Betaal eenvoudig met kaart, Klarna, Apple Pay of Google Pay. Niet tevreden? Je hebt altijd 14 dagen bedenktijd. Lees meer in onze voorwaarden. Heb je vragen, mail ons dan via hello@memmo.org.
Memmo maakt studeren makkelijker – waar je ook bent ter wereld. Wij brengen je cursusboeken en slimme studietools samen op één plek: samenvattingen, quizzen, podcasts en flashcards. En Ted, je studievriend die antwoord geeft op alles wat je je afvraagt. Meer dan 50.000 studenten studeren hier al – gebouwd om je sneller te laten leren en minder stress te geven.
Misschien vind je dit ook leuk
Koop het boek0