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

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 "abstract interpretation" wurden 40 Produkte gefunden

Filter

Nur Neuerscheinungen

KIT Scientific Publishing (1)
Springer Berlin (25)
Springer International Publishing (12)
Springer London (2)

Gebunden (1)
Kartoniert / Broschiert (39)

Alpuente, María Vidal-Oriola, Germán (1)
Arbab, Farhad Sirjani, Marjan (1)
Ball, Thomas Rajamani, Sriram K. (1)
Banda, Maria Garcia Pontelli, Enrico (1)
Barrett, Clark Davies, Misty Kahsai, Temesghen (1)
Barthe, Gilles (1)
Barthe, Gilles Hermenegildo, Manuel (1)
Beckert, Bernhard Marché, Claude (1)
Blazy, Sandrine Jensen, Thomas (1)
Bosnacki, Dragan Leue, Stefan (1)
Bouajjani, Ahmed Monniaux, David (1)
Chang, Bor-Yuh Evan (1)
Chaudhuri, Swarat Farzan, Azadeh (2)
Cortesi, Agostino File, Gilberto (1)
Cousot, Radhia (1)
Cousot, Radhia Schmidt, David A. (1)
de Moura, Leonardo (1)
Dillig, Isil Palsberg, Jens (1)
Falcone, Yliès Sánchez, César (1)
Graf, Susanne Mounier, Laurent (1)
Grumberg, Orna Veith, Helmut (1)
Hameurlain, Abdelkader Küng, Josef Wagner, Roland Dang, Tran Khanh Thoai, Nam (1)
Hanus, Michael Rodriguez-Artalejo, Mario (1)
Hermenegildo, Manuel V. Morales, José F. (1)
Hu, Zhenjiang (1)
Kuchen, Herbert (1)
Logozzo, Francesco Peled, Doron A. Zuck, Leonore D. (1)
Palsberg, Jens Su, Zhendong (1)
Pichardie, David Sighireanu, Mihaela (1)
Ranzato, Francesco (1)
Rival, Xavier (1)
Steffen, Bernhard Levi, Giorgio (1)
Valmari, Antti (1)
van Eekelen, Marko Shkaravska, Olha (1)
Ábrahám, Erika Bonsangue, Marcello Johnsen, Einar Broch (1)

Fahringer, Thomas Scholz, Bernhard (1)
Simon, Axel (2)
Weiß, Benjamin (1)

1996 (2)
1999 (1)
2002 (1)
2003 (1)
2004 (1)
2005 (1)
2006 (1)
2008 (1)
2009 (1)
2010 (1)
2011 (1)
2015 (1)
2016 (1)
2017 (1)
2018 (1)
2019 (1)
2021 (1)
2023 (1)

Englisch (40)

HOME

1
2

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction

Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction

32,50 €*

Preise inkl. MwSt. zzgl. Versandkosten

Advanced Symbolic Analysis for Compilers

Advanced Symbolic Analysis for Compilers

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Programming Languages and Systems

Programming Languages and Systems

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Static Analysis

Static Analysis

74,89 €*

Preise inkl. MwSt. zzgl. Versandkosten

Static Analysis

Static Analysis

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Algebraic and Logic Programming

Algebraic and Logic Programming

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Static Analysis

Static Analysis

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Computer Aided Verification

Computer Aided Verification

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Model Checking Software

Model Checking Software

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Model Checking Software

Model Checking Software

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Programming Languages and Systems

Programming Languages and Systems

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Foundational and Practical Aspects of Resource Analysis

Foundational and Practical Aspects of Resource Analysis

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Static Analysis

Static Analysis

87,73 €*

Preise inkl. MwSt. zzgl. Versandkosten

Static Analysis

Static Analysis

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Theory and Practice of Formal Methods

Theory and Practice of Formal Methods

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Static Analysis

Static Analysis

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Runtime Verification

Runtime Verification

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Static Analysis

Static Analysis

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

25 Years of Model Checking

25 Years of Model Checking

37,44 €*

Preise inkl. MwSt. zzgl. Versandkosten

1
2

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