Um unseren Shop in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktivieren.
Haben Sie Fragen? Einfach anrufen, wir helfen gerne:
Tel. 089/210233-0
oder besuchen Sie
unser Ladengeschäft in der Pacellistraße 5
(Maxburg) 80333 München
+++
Versandkostenfreie Lieferung innerhalb Deutschlands
Haben Sie Fragen?
Tel. 089/210233-0
€
Euro
Fr CHF
€ EUR
Menü schließen
Ihr Konto
Anmelden
oder
registrieren
Übersicht
Persönliches Profil
Adressen
Zahlungsarten
Bestellungen
0,00 €*
Home
JURISTISCHE LITERATUR
STUDIENLITERATUR
DATENBANKEN
BEHÖRDEN
BECK ONLINE
INFORMATIONEN
Zur Kategorie STUDIENLITERATUR
Wichtige Studienliteratur
Prüfungszugelassene Titel
AGB
Datenschutz
Kontakt
Impressum
Über Uns
Service
Menü schließen
Home
JURISTISCHE LITERATUR
STUDIENLITERATUR
DATENBANKEN
BEHÖRDEN
BECK ONLINE
INFORMATIONEN
Zu "equivalence checking" wurden 10 Produkte gefunden
Filter
Filter
Nur Neuerscheinungen
Verlag
Springer Berlin (3)
Springer International Publishing (7)
Produktart
Kartoniert / Broschiert (8)
Unbekannt (2)
Herausgeber
Cassez, Franck Raskin, Jean-Francois (1)
Chockler, Hana Hu, Alan J. (1)
Deshmukh, Jyotirmoy V. Havelund, Klaus Perez, Ivan (2)
El-Fakih, Khaled Barlas, Gerassimos Yevtushenko, Nina (1)
Finkbeiner, Bernd Pu, Geguang Zhang, Lijun (1)
Merayo, Mercedes G. Montes de Oca, Edgardo (1)
Rozier, Kristin Yvonne Chaudhuri, Swarat (2)
Yorav, Karen (1)
Themengebiete
adaptive systems (2)
algorithms (1)
architecture verification and validation (2)
automata (1)
automated static analysis (1)
automated verification tools (1)
automatic test generation (1)
classification of hardware bugs (1)
code based testing (1)
computer programming (2)
concurrency tes (1)
concurrency testing (1)
concurrency verification (1)
correctness (1)
coverage metrics (4)
debugging (1)
design for verifiability (2)
design rule checking (2)
developer testing (1)
distributed systems (2)
domain specific languages (2)
dynamic analysis (2)
embedded systems (2)
empirical software validation (1)
equivalence checking (10)
fault models and test metrics (1)
fault tolerance (2)
fault tree analysis (1)
formal logic (2)
formal methods (3)
formal software verification (1)
formal verification (3)
formal verification methods (1)
functional testing (1)
functional verification (3)
high-level stimuli generation (1)
human-robot interaction (1)
hybrid verification methods (1)
Isabelle/HOL (2)
linear programming (1)
linguistics (2)
logic and verification (1)
model based testing (1)
model checking (7)
model verification and validation (1)
multi-agent systems (1)
reliability (2)
SAT-based verification algorithms (1)
semi-formal verification (2)
software engineering (1)
software validation (1)
software verification (1)
theorem proving (1)
theorem proving and SAT solving (2)
transaction-level verification (2)
validation (2)
verification (2)
Veröffentlichungsdatum
2008 (1)
2009 (1)
2014 (1)
2015 (1)
2022 (1)
2023 (1)
Sprache
Englisch (10)
HOME
Erscheinungsdatum
Name A-Z
Name Z-A
Preis aufsteigend
Preis absteigend
Beste Ergebnisse
Topseller
Hardware and Software: Verification and Testing
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Testing Software and Systems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Hardware and Software: Verification and Testing
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Testing Software and Systems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Automated Technology for Verification and Analysis
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
NASA Formal Methods
139,09 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
NASA Formal Methods
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Automated Technology for Verification and Analysis
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
NASA Formal Methods
96,29 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
NASA Formal Methods
128,39 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können.
Mehr Informationen ...
Nur technisch notwendige
Konfigurieren
Zurück