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

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" wurden 5 Produkte gefunden

Filter

Nur Neuerscheinungen

Springer Berlin (2)
Springer International Publishing (3)

Gebunden (1)
Kartoniert / Broschiert (4)

Majumdar, Rupak Kuncak, Viktor (1)

Bella, Giampaolo (2)
O'Regan, Gerard (2)

Automata theory (1)
Computational logic (1)
Computer software selection and evaluation (1)
data security (2)
Discrete mathematics (1)
Formal logic (1)
formal method (2)
Formal methods (4)
Inductive techniques (2)
Information (2)
Isabelle (2)
Kerberos (2)
Model checking (1)
Parallel processing systems (1)
Problem solving (1)
Programming languages (1)
Propositional logic (1)
Protocol engineering (2)
Relations and functions (1)
Requirements analysis (1)
Satisfiability (1)
Security protocols (2)
Semantics (1)
Software engineering (1)
Software reliability (1)
Software verification (1)
Specification (1)
Technology transfer (1)
Theorem proving (5)
Verification (1)

2007 (1)
2010 (1)
2017 (1)
2018 (1)

Englisch (5)

HOME

Formal Correctness of Security Protocols

Formal Correctness of Security Protocols

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Concise Guide to Formal Methods

Concise Guide to Formal Methods

69,54 €*

Preise inkl. MwSt. zzgl. Versandkosten

Computer Aided Verification

Computer Aided Verification

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Guide to Discrete Mathematics

Guide to Discrete Mathematics

56,70 €*

Preise inkl. MwSt. zzgl. Versandkosten

Formal Correctness of Security Protocols

Formal Correctness of Security Protocols

53,49 €*

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 ...