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
Kreditkarten
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 "Type Systems" wurden 10 Produkte gefunden
Filter
Filter
Nur Neuerscheinungen
Verlag
Springer Berlin (10)
Produktart
Gebunden (1)
Kartoniert / Broschiert (8)
Unbekannt (1)
Herausgeber
Alpuente, María (1)
Altenkirch, Thorsten Naraschewski, Wolfgang Reus, Bernhard (1)
Callaghan, Paul Luo, Zhaohui McKinna, James Pollack, Robert (1)
Dalen, Dirk van Bezem, Marc (1)
Groote, Philippe de Morrill, Glyn Retore, Christian (1)
Kuchen, Herbert Ueda, Kazunori (1)
Sangiorgi, Davide Simone, Robert de (1)
Autor
Nielson, Flemming Nielson, Hanne R. Hankin, Chris (3)
Themengebiete
Abstract Interpretation (3)
algorithm (2)
algorithms (5)
automata (1)
Automated Reasoning (1)
Categorial Grammars (1)
compiler (3)
computer (1)
Computer Science logics (1)
Concurrency CalcuLi (1)
constraint (3)
Constraint Based Analysis (3)
Data Flow Analysis (3)
Formal Logics (1)
Formal Methods (2)
Formal Specification (1)
Formal Verification (2)
Formale Logiken (1)
functional programming (1)
Grammar Systems (1)
Inductive Types (1)
Informatiklogiken (1)
Information Extraction (1)
Lambda Calculus (2)
Linear Time Logics (1)
logic (1)
Logic Programming (1)
Meta-Programming (1)
model checking (1)
Natural (1)
Natural Language Processing (1)
Parsing (1)
Partial Evaluation (2)
petri net (1)
Process Algebras (1)
Program Analysis (3)
Program Semantics (1)
Program Transformation (4)
program transformation (3)
Programm Analysis (1)
Programmierlogiken (1)
programming (1)
Programming languages (1)
Programming Logics (2)
Programming Theory (1)
Proof Theory (1)
real-time (1)
Real-Time Systems (1)
Rewriting Systems (1)
Semantics (1)
Syntax (1)
Systems Modelling (1)
Term Rewriting (1)
Type Systems (10)
Type Theory (1)
Typensysteme (1)
verification (1)
Veröffentlichungsdatum
1997 (1)
1998 (1)
1999 (1)
2001 (1)
2002 (1)
2010 (1)
2011 (1)
2015 (1)
Sprache
Englisch (10)
HOME
Erscheinungsdatum
Name A-Z
Name Z-A
Preis aufsteigend
Preis absteigend
Beste Ergebnisse
Topseller
Principles of Program Analysis
80,24 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Types for Proofs and Programs
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Logical Aspects of Computational Linguistics
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Principles of Program Analysis
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
CONCUR '98 Concurrency Theory
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Functional and Logic Programming
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Computer Science Logic
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Principles of Program Analysis
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Logic-Based Program Synthesis and Transformation
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Types for Proofs and Programs
53,49 €*
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