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
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
Mein Bibliothekar
INFORMATIONEN
Prüfungszugelassene Titel
AGB
Datenschutz
Kontakt
Impressum
Über Uns
Service
Menü schließen
Home
JURISTISCHE LITERATUR
STUDIENLITERATUR
DATENBANKEN
BEHÖRDEN
BECK ONLINE
Mein Bibliothekar
INFORMATIONEN
Zu "temporal logics" wurden 10 Produkte gefunden
Produkte filtern
Produkte filtern
Nur Neuerscheinungen
Verlag
Springer Basel (1)
Springer Berlin (5)
Springer International Publishing (4)
Produktart
Kartoniert / Broschiert (10)
Herausgeber
?u?u, Ionu? (1)
Beringer, Lennart Felty, Amy (1)
Cimatti, Alessandro Titolo, Laura (1)
Fiadeiro, José Luiz ?u?u, Ionu? (1)
Katoen, Joost-Pieter König, Barbara (1)
Kucera, Antonin Potapov, Igor (1)
Olivetti, Nicola Tiwari, Ashish (1)
Autor
Gasquet, Olivier Herzig, Andreas Said, Bilal Schwarzentruber, François (1)
Haddawy, Peter (1)
Rust, Heinrich (1)
Themengebiete
abstract state machines (1)
Action (1)
algebra (1)
algebraic structures (1)
algorithms (2)
artificial intelligence (1)
automata (2)
automated reasoning (1)
bisimilarity (1)
CASL (1)
certification (1)
common meadows (1)
communicating finite state machines (1)
complexity (1)
compositionality (1)
concurrent processes (1)
constraint solving (1)
continuous time systems (1)
Coq (1)
decision theory (1)
deduction (1)
description logics (1)
differential dynamic logic (1)
discrete time systems (1)
distributed computing (1)
epistemic logics (1)
equational calculus (1)
equational logic and rewriting (1)
Event-B (1)
finite state machines (1)
formal learning theory (1)
formal methods (2)
formal verification (1)
fuzzy logics (1)
graph transformation (1)
higher order logic (1)
hybrid systems (1)
industrial critical systems (1)
infinite state sy (1)
infinite state systems (1)
information topology (1)
institution theory (1)
Maude (1)
MMT (1)
modal logics (2)
modal semirings (1)
model checking (2)
modeling (1)
module parameterization (1)
module systems (1)
monadic programs (1)
non-standard analysis (1)
non-standard timed abstract state machines (1)
operational semantics (2)
planning (1)
probabilistic automata (1)
rational behavior (1)
Rationales Verhalten (1)
reachability problems (1)
reactive systems (1)
safety-critical systems (1)
static analysis (1)
systems analysis (1)
tableau method (1)
temporal logics (10)
Temporale Logiken (1)
theorem proving (1)
uncertainty (1)
validation (1)
verification (1)
Veröffentlichungsdatum
1994 (1)
2005 (1)
2010 (1)
2011 (1)
2012 (1)
2013 (1)
2016 (1)
2019 (1)
2023 (1)
2025 (1)
Sprache
Englisch (10)
HOME
Erscheinungsdatum
Name A-Z
Name Z-A
Preis aufsteigend
Preis absteigend
Beste Ergebnisse
Topseller
Interactive Theorem Proving
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Kripke’s Worlds
90,94 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Reachability Problems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Recent Trends in Algebraic Development Techniques
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Formal Methods for Industrial Critical Systems
69,54 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Operational Semantics for Timed Systems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Automated Reasoning
85,59 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Representing Plans Under Uncertainty
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
CONCUR 2011 -- Concurrency Theory
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Recent Trends in Algebraic Development Techniques
117,69 €*
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