Formalisation d'un procédé de développement logiciel basé modèle: Verification formelle par la methode B (Omn.Univ.Europ.)

Ein praxisnahes Werk über formale Verifikation in modellbasierten Softwareentwicklungen, das die B‑Methode anschaulich erklärt und zeigt, wie math ...
Wo zu kaufen (2) Eigenschaften
Gesponsert
Formalisation d'un procédé de développement logiciel basé modèle: Verification formelle par la methode B (Omn.Univ.Europ.)
Medimops DE
48.34 EUR
Preis aktualisiert am: 29-03-2025 18:10:53
Siehe Produktangebot
Gesponsert
Formalisation d'un procédé de développement logiciel basé modèle, Fachbücher
Galaxus.de
49.00 EUR
Preis aktualisiert am: 03-08-2026 08:56:40
Siehe Produktangebot

Allgemein

Marke
Angel Garcia
ISBN
Angel Garcia 3838180682

Eigenschaften

Ähnliche Produkte

Le travail social hors murs et les enjeux de sa formalisation: Focus sur les notions de sécurité et d'insécurité (Social Strategies)
Le travail social hors murs et les enjeux de sa formalisation: Focus sur les notions de sécurité et d'insécurité (Social Strategies)
Produkt anzeigen
Bases Génériques de Règles d'Association: Contributions à la Formalisation et à l'Extraction
Bases Génériques de Règles d'Association: Contributions à la Formalisation et à l'Extraction
Produkt anzeigen
Formalisation des processus de l'Ingénierie Système: Proposition d'une méthode d'adaptation des processus génériques à différents contextes d'application
Formalisation des processus de l'Ingénierie Système: Proposition d'une méthode d'adaptation des processus génériques à différents contextes d'application
Produkt anzeigen
Ochs, Magalie: Un agent rationnel dialoguant émotionnel empathique
Ochs, Magalie: Un agent rationnel dialoguant émotionnel empathique
Produkt anzeigen
Le Management des Connaissances dans l'Approche Managériale: La Formalisation du Management des Connaissances dans l'Approche Managériale: Cas d'Algérie Télécom
Le Management des Connaissances dans l'Approche Managériale: La Formalisation du Management des Connaissances dans l'Approche Managériale: Cas d'Algérie Télécom
Produkt anzeigen
La formalisation et la validation de savoirs professionnels: expression d'une culture professionnelle en Travail Social
La formalisation et la validation de savoirs professionnels: expression d'une culture professionnelle en Travail Social
Produkt anzeigen
Menü