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
Betala smidigt med kort, Klarna, Apple Pay eller Google Pay. Är du inte nöjd har du alltid 14 dagars ångerrätt. Läs mer i våra villkor. Har du några frågor, mejla oss på hello@memmo.org.
Memmo gör det enklare att plugga – var du än är i världen. Hos oss samlar du kursböcker och smarta studieverktyg på ett och samma ställe: sammanfattningar, quiz, poddar och flashcards. Och så Ted, din studiekompis som svarar på allt du undrar. Över 75 000 studenter pluggar redan här – byggt för att du ska lära dig snabbare och stressa mindre.
Du kanske också gillar
Köp boken0