Suchergebnisse für "model+checking"

Formale Modelle der Softwareentwicklung (eBook, PDF)
37,99 €**
26,96 €
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar
Versandkostenfrei
Stephan Kleuker
Formale Modelle der Softwareentwicklung (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
22. Oktober 2009
Vieweg+Teubner Verlag
Symbolisches Model Checking variabler Verhaltensspezifikationen
59,00 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Tim Jonischkat
Symbolisches Model Checking variabler Verhaltensspezifikationen
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Konsistenzprüfung von Domänenspezifikationen im Rahmen der Softwareproduktlinienentwicklung
2010
VDM Verlag Dr. Müller
Sichere Konfigurationsplanung adaptiver Systeme durch Model Checking
59,00 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Malte Röhs
Sichere Konfigurationsplanung adaptiver Systeme durch Model Checking
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Grundlagen, Konzepte, Implementierung
2010
VDM Verlag Dr. Müller
Die "künstliche Seele" (eBook, PDF)
49,99 €**
35,96 €
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar
Versandkostenfrei
Die "künstliche Seele" (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
9. November 2013
Deutscher Universitätsvlg
Auch erhältlich als
Broschiertes Buch49,99 €
Geometrische Prüfung von Bauwerksmodellen durch Raumzerlegung
89,90 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Bernold Kraft
Geometrische Prüfung von Bauwerksmodellen durch Raumzerlegung
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Ein Verfahren der Raumzerlegung als Grundlage zur Prüfung von Geometrie und Topologie digitaler Bauwerksmodelle
26. März 2018
Südwestdeutscher Verlag für Hochschulschriften
Validierung von MultiView-basierten Prozessmodellen
89,90 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Sven Feja
Validierung von MultiView-basierten Prozessmodellen
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
mit grafischen Validierungsregeln
Aufl.
9. Juli 2015
Südwestdeutscher Verlag für Hochschulschriften
Efficient Decision Procedures for Validation
49,00 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Ofer Strichman
Efficient Decision Procedures for Validation
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Translation Validation, decision procedures for equality logic, and SAT tuning for Bounded Model Checking
2. April 2018
LAP Lambert Academic Publishing
Knowledge Resistance in High-Choice Information Environments
179,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Knowledge Resistance in High-Choice Information Environments
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
24. Mai 2022
Riksbankens Jubileumsfond / Routledge / Taylor & Francis
Auch erhältlich als
eBook, ePUB0,99 €
Die ¿künstliche Seele¿
49,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Katrin Hille
Die ¿künstliche Seele¿
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Analyse einer Theorie
1997
1. Mai 1997
Deutscher Universitätsverlag
978-3-8244-4205-8


Ähnlichkeitssuche: Fact®Finder von OMIKRON