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
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 "programming logic" wurden 5 Produkte gefunden
Filter
Filter
Nur Neuerscheinungen
Verlag
APRESS (1)
Springer Berlin (1)
Springer International Publishing (1)
Springer Singapore (2)
Produktart
Kartoniert / Broschiert (5)
Herausgeber
Geuvers, Herman Wiedijk, Freek (1)
Gurfinkel, Arie Seshia, Sanjit A. (1)
Hur, Chung-Kil (1)
Zhang, Songmao Zhang, Yonggang (1)
Autor
Ciesla, Robert (1)
Themengebiete
artificial intelligence (1)
assertion checking (1)
automated reasoning (1)
automated static analysis (1)
benchmarks (1)
computer algebra systems (1)
computing methodologies (1)
Coq (1)
deep learning (1)
dynamic analysis (1)
formal methods (1)
formal specification (1)
formal verification (1)
freeware game engines (1)
functional languages (1)
Game engine reviews (1)
game engines (1)
game publishing (1)
game terms (1)
gaming jargons (1)
higher-order logic (1)
Hoare logic (1)
inductive types (1)
knowledge representation and reasoning (1)
lambda calculus (1)
object oriented languages (1)
program analysis (1)
program semantics (2)
programming (1)
programming logic (5)
programming theory (1)
software testing (1)
software verification (2)
symbolic and algebraic manipulation (1)
theorem proving (2)
theory of computation (1)
type theory (1)
vagueness and fuzzy logic (1)
Veröffentlichungsdatum
2003 (1)
2016 (1)
2017 (1)
2023 (1)
Sprache
Englisch (5)
HOME
Erscheinungsdatum
Name A-Z
Name Z-A
Preis aufsteigend
Preis absteigend
Beste Ergebnisse
Topseller
Verified Software: Theories, Tools, and Experiments
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Mostly Codeless Game Development
48,14 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Artificial Intelligence Logic and Applications
128,39 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Programming Languages and Systems
64,19 €*
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