Preuves par récurrence avec ensembles couvrants contextuels: Applications à la vérification de logiciels de télécommunications (Omn.Univ.Europ.)
Ein umfassendes Handbuch, das rekursive Beweistechniken mit kontextabhängigen Deckungsmengen verbindet und deren Einsatz in der formalen Prüfung von ...
Gesponsert
averdo DE
50.43 EUR
Preis aktualisiert am: 24-11-2024 13:48:17
Gesponsert
Medimops DE
67.94 EUR
Preis aktualisiert am: 27-03-2025 18:50:10
Gesponsert
Galaxus.de
69.00 EUR
Preis aktualisiert am: 04-12-2025 14:17:09
Allgemein
Marke
Sorin Stratulat
ISBN
Sorin Stratulat 9783841794901
