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 "logics of programming" wurden 7 Produkte gefunden

Filter

Nur Neuerscheinungen

Springer Berlin (2)
Springer International Publishing (5)

Kartoniert / Broschiert (7)

Abdulla, Parosh Aziz Kesner, Delia (1)
Bouyer, Patricia Schröder, Lutz (1)
Dershowitz, Nachum (1)
Goubault-Larrecq, Jean König, Barbara (1)
Kobayashi, Naoki Worrell, James (2)
Muscholl, Anca (1)

algebraic semantics (1)
algorithms (1)
automated deduction (1)
bisimulation (1)
Categorical models and logics (1)
categorical models and logics (4)
categorical semantics (1)
computer science logic (1)
concurrency theory (3)
concurrency theory and process calculi (2)
concurrent systems (1)
distributed systems (1)
emerging models of computation (3)
formal methods (1)
game theory (1)
language theory, automata, and games (5)
logic (1)
logics of programming (7)
Markov decision processes (1)
modal, spatial, and temporal logics (5)
models of software security (3)
networks (1)
Open Access (4)
probabilistic systems (1)
probability and statistics (1)
program analysis (4)
program analysis, correctness, transformation, and verification (1)
programming theory (1)
Requirements Engineering (1)
rewriting theory (2)
semantics of programming languages (2)
Software Engineering (1)
software specification and refinement (4)
type theory and proof theory (2)

2004 (1)
2014 (1)
2020 (1)
2022 (1)
2024 (1)
2025 (1)

Englisch (7)

HOME

Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

42,79 €*

Preise inkl. MwSt. zzgl. Versandkosten

Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

42,79 €*

Preise inkl. MwSt. zzgl. Versandkosten

Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

42,79 €*

Preise inkl. MwSt. zzgl. Versandkosten

Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

42,79 €*

Preise inkl. MwSt. zzgl. Versandkosten

Verification: Theory and Practice

Verification: Theory and Practice

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

42,79 €*

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