Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen

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

Mein Bibliothekar

INFORMATIONEN

Prüfungszugelassene Titel

AGB

Datenschutz

Kontakt

Impressum

Über Uns

Service

Home

JURISTISCHE LITERATUR
STUDIENLITERATUR
DATENBANKEN
BEHÖRDEN
BECK ONLINE
Mein Bibliothekar
INFORMATIONEN

Zu "program analysis" wurden 78 Produkte gefunden

Produkte filtern

Nur Neuerscheinungen

BoD – Books on Demand (1)
Springer Berlin (48)
Springer International Publishing (26)
Springer Singapore (3)

Kartoniert / Broschiert (77)
Unbekannt (1)

Abdulla, Parosh Aziz Kesner, Delia (1)
Albers, Susanne Marchetti-Spaccamela, Alberto Matias, Yossi Nikoletseas, Sotiris Thomas, Wolfgang (1)
Araki, Keijiro Gnesi, Stefania Mandrioli, Dion (1)
Artho, Cyrille Legay, Axel Peled, Doron (1)
Audebaud, Philippe Paulin-Mohring, Christine (1)
Barthe, Gilles Hermenegildo, Manuel (1)
Beckert, Bernhard Hähnle, Reiner (1)
Beyer, Dirk Hartmanns, Arnd Kordon, Fabrice (1)
Blazy, Sandrine Jensen, Thomas (1)
Bloem, Roderick Arbel, Eli (1)
Bodik, Rastislav (1)
Bourke, Timothy Chen, Liqian Goharshady, Amir (1)
Bouyer, Patricia Schröder, Lutz (1)
Bravetti, Mario Núñez, Manuel Zavattaro, Gianluigi (1)
Bruynooghe, Maurice Lau, Kung-Kiu (1)
Chang, Bor-Yuh Evan (1)
Chang, Stephen (1)
Chechik, Marsha Wirsing, Martin (1)
Codish, Michael Sumii, Eijiro (1)
Cohen, Myra B. O Cinneide, Mel (1)
Cortesi, Agostino File, Gilberto (1)
Cousot, Radhia (2)
Cousot, Radhia Schmidt, David A. (1)
Craeynest, Dirk Strohmeier, Alfred (1)
Delgrande, James Faber, Wolfgang (1)
Emerson, E. Allen Namjoshi, Kedar S. (1)
Etalle, Sandro (1)
Etalle, Sandro Truszczynski, Miroslav (1)
Falaschi, Moreno (1)
Flatt, Matthew Guo, Hai-Feng (1)
Fraser, Gordon Gargantini, Angelo (1)
Frühwirth, Thom Raiser, Frank (1)
Gallagher, John (1)
Garrigue, Jacques (1)
Giacobazzi, Roberto (1)
Giacobazzi, Roberto Berdine, Josh Mastroeni, Isabella (1)
Giannakopoulou, Dimitra Orejas, Fernando (1)
Gibbons, Jeremy (2)
Glaser, Hugh Hartel, Peter Kuchen, Herbert (1)
Gordon, Andrew D. (1)
Halbwachs, Nicolas Zuck, Lenore (1)
Hemann, Jason Chang, Stephen (1)
Hermanns, Holger Palsberg, Jens (1)
Hermanns, Holger Sun, Jun Bu, Lei (1)
Hur, Chung-Kil (1)
Itsykson, Vladimir Scedrov, Andre Zakharov, Victor (1)
Jhala, Ranjit Igarashi, Atsushi (1)
Jones, Neil Müller-Olm, Markus (1)
Jones, Richard (1)
Kameyama, Yukiyoshi Stuckey, Peter J. (1)
Keller, Hubertus B. Plödereder, Erhard (1)
Kiefer, Stefan Kretínský, Jan Kucera, Antonín (1)
Kobayashi, Naoki (1)
Kobayashi, Naoki Worrell, James (2)
Kroening, Daniel Pasareanu, Corina S. (2)
Liu, Zhiming Ravn, Anders P. (1)
Müller-Olm, Markus Seidl, Helmut (1)
Nielsen, Mogens Engberg, Uffe (1)
Pezzè, Mauro (1)
Ryu, Sukyoung (1)
Sagonas, Kostis (1)
Seidl, Helmut (1)
Seidl, Martina Tillmann, Nikolai (1)
Shan, Chung-chien (1)
Shao, Zhong (1)
Taha, Walid (1)
Tiuryn, Jerzy (1)
Treharne, Helen King, Steve Henson, Martin Schneider, Steve (1)
van der Pol, Jaco Weber, Michael (1)
Voronkov, Andrei Weidenbach, Christoph (1)
Weirich, Stephanie (2)
Wermelinger, Michel Margaria-Steffen, Tiziana (1)

Fahringer, Thomas Scholz, Bernhard (1)

1996 (1)
1997 (1)
1999 (1)
2000 (1)
2001 (1)
2002 (1)
2003 (2)
2004 (1)
2005 (1)
2006 (1)
2007 (1)
2008 (1)
2009 (1)
2010 (1)
2011 (1)
2012 (1)
2013 (1)
2014 (1)
2015 (1)
2016 (1)
2017 (1)
2018 (1)
2022 (1)
2023 (1)
2024 (1)
2025 (1)

Englisch (78)

HOME

1
2
3
4

Vorderes Coverbild Taming the Infinities of Concurrency

Taming the Infinities of Concurrency

139,09 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Static Analysis

Static Analysis

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Programming Languages and Systems

Programming Languages and Systems

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Static Analysis

Static Analysis

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Program Development in Computational Logic

Program Development in Computational Logic

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Practical Aspects of Declarative Languages

Practical Aspects of Declarative Languages

49,22 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Programming Languages and Systems

Programming Languages and Systems

42,79 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Static Analysis

Static Analysis

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Programming Languages and Systems

Programming Languages and Systems

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Advanced Symbolic Analysis for Compilers

Advanced Symbolic Analysis for Compilers

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Static Analysis

Static Analysis

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Dependable Software Engineering. Theories, Tools, and Applications

Dependable Software Engineering. Theories, Tools, and Applications

85,59 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Programming Languages and Systems

Programming Languages and Systems

42,79 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

42,79 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Functional and Logic Programming

Functional and Logic Programming

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

42,79 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild ZB 2005: Formal Specification and Development in Z and B

ZB 2005: Formal Specification and Development in Z and B

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

42,79 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild ECOOP 2014 -- Object-Oriented Programming

ECOOP 2014 -- Object-Oriented Programming

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Logic Based Program Synthesis and Transformation

Logic Based Program Synthesis and Transformation

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Trends in Functional Programming

Trends in Functional Programming

58,84 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Programming Languages and Systems

Programming Languages and Systems

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

1
2
3
4

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
Mein Bibliothekar

AGB
Datenschutz
Kontakt
Impressum
Über Uns
Service

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