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

Fr CHF

€ EUR

Ihr Konto

Anmelden

oder registrieren

Übersicht Persönliches Profil Adressen Zahlungsarten Bestellungen Kreditkarten

JURISTISCHE LITERATUR

STUDIENLITERATUR

INFORMATIONEN

Zur Kategorie STUDIENLITERATUR

Wichtige Studienliteratur

Prüfungszugelassene Titel

AGB

Datenschutz

Kontakt

Impressum

Über Uns

Service

Home

JURISTISCHE LITERATUR
STUDIENLITERATUR
DATENBANKEN
BEHÖRDEN
BECK ONLINE
INFORMATIONEN

Zu "theorem proving and SAT solving" wurden 7 Produkte gefunden

Filter

Nur Neuerscheinungen

Springer International Publishing (7)

Kartoniert / Broschiert (6)
Unbekannt (1)

Badger, Julia M. Rozier, Kristin Yvonne (1)
Gopal, T V Agrawal, Manindra Li, Angsheng Cooper, S. Barry (1)
Klein, Gerwin Gamboa, Ruben (1)
Rozier, Kristin Yvonne Chaudhuri, Swarat (2)
Watt, Stephen M. Sexton, Alan Davenport, James H. Sojka, Petr Urban, Josef (1)
Yevtushenko, Nina Cavalli, Ana Rosa Yenigün, Hüsnü (1)

algorithmic game theory (1)
automated reasoning (1)
automated static analysis (1)
cloud computing (1)
complexity (1)
coverage metrics (2)
design rule checking (2)
embedded systems (1)
equivalence checking (2)
fault models and test metrics (1)
formal methods (4)
formal specifications (1)
functional languages (1)
logic and verification (1)
machine learning (1)
modal and temporal logics (2)
model checking (4)
model checking and theorem proving (1)
natural language processing (1)
network protocols (1)
optimization (1)
oracles and decision trees (1)
program verification (1)
protocol testing and verification (1)
real-time system specification (1)
real-time systems (1)
reliability (2)
rewriting (1)
search interface (1)
security and privacy (1)
semi-formal verification (2)
smilarity measures (1)
social networks (1)
software functional properties (1)
software system models (1)
software verification and validation (1)
stochastic games (1)
support vector machine (1)
testing with distributed and oarallel systems (1)
theorem proving and SAT solving (7)
transaction-level verification (2)
turing machine (1)
validation (2)
verification (2)
verification via model checking (1)
virtual machines (1)

2014 (1)
2017 (1)
2019 (1)
2023 (1)

Englisch (7)

HOME

Theory and Applications of Models of Computation

Theory and Applications of Models of Computation

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

NASA Formal Methods

NASA Formal Methods

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Testing Software and Systems

Testing Software and Systems

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Interactive Theorem Proving

Interactive Theorem Proving

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Intelligent Computer Mathematics

Intelligent Computer Mathematics

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

NASA Formal Methods

NASA Formal Methods

70,61 €*

Preise inkl. MwSt. zzgl. Versandkosten

NASA Formal Methods

NASA Formal Methods

96,29 €*

Preise inkl. MwSt. zzgl. Versandkosten

Buchhandlung Georg Blendl GmbH & Co KG
Buchhandlung und Antiquariat für Rechts- und Staatswissenschaften
Pacellistraße 5 (Maxburg)
80333 München
+049 89 210 233-0
+049 89 210 233-44
info@BGB-Online.de
ww.BGB-Online.de

Öffnungszeiten:
Montag bis Freitag
8:15 bis 18:00 Uhr

Samstag geschlossen

Online 24/7

JURISTISCHE LITERATUR
STUDIENLITERATUR
DATENBANKEN
BEHÖRDEN
BECK ONLINE

AGB
Datenschutz
Kontakt
Impressum
Über Uns
Service

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...