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

Fr CHF

€ EUR

Ihr Konto

Anmelden

oder registrieren

Übersicht Persönliches Profil Adressen Zahlungsarten Bestellungen

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 "System description languages" wurden 9 Produkte gefunden

Filter

Nur Neuerscheinungen

Springer International Publishing (9)

Gebunden (1)
Kartoniert / Broschiert (6)
Unbekannt (2)

Ampatzoglou, Apostolos Pérez, Jennifer Buhnova, Barbora Lenarduzzi, Valentina Venters, Colin C. Zdun, Uwe Drira, Khalil Rebelo, Luciana Di Pompeo, Daniele Tucci, Michele Nakagawa, Elisa Yumi Navarro, Elena (2)
Braga, Christiano Martí-Oliet, Narciso (1)
Hermenegildo, Manuel V Lopez-Garcia, Pedro (1)
Ogata, Kazuhiro Martí-Oliet, Narciso (2)
Pergl, Robert Babkin, Eduard Lock, Russell Malyzhenkov, Pavel Merunka, Vojtech (1)

Lämmel, Ralf (2)

Abstraction (1)
Abstraction, modeling and modularity (1)
Architecture description languages (2)
Context specific languages (2)
Correctness (1)
Designing software (4)
Domain-specific languages (2)
Enterprise architectures (1)
Enterprise information systems (1)
Enterprise modeling (1)
Enterprise ontologies (1)
Equational logic and rewriting (2)
Formal language definitions (2)
Formal methods (1)
language (1)
Logic and verification (3)
logic programming (1)
Model-based software engineering (2)
Modeling (1)
Program analysis (1)
Program semantics (1)
Program specifications (1)
Program verification (1)
Programming logic (1)
Real-time systems software (1)
Reference models (1)
simulation (1)
Software and its engineering (2)
Software architectures (2)
Software composition (2)
Software creation and management (4)
Software design engineering (2)
Software functional properties (2)
Software notations and tools (2)
Software organization and properties (2)
Software system models (2)
Software system structures (4)
Software verification and validation (2)
Specification languages (1)
System description languages (9)
Verification by model checking (2)

2015 (1)
2017 (1)
2018 (1)
2019 (1)
2024 (1)

Englisch (9)

HOME

Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications

42,80 €*

Preise inkl. MwSt. zzgl. Versandkosten

Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Enterprise and Organizational Modeling and Simulation

Enterprise and Organizational Modeling and Simulation

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Software Languages

Software Languages

80,24 €*

Preise inkl. MwSt. zzgl. Versandkosten

Software Languages

Software Languages

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Software Architecture. ECSA 2024 Tracks and Workshops

Software Architecture. ECSA 2024 Tracks and Workshops

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Rewriting Logic and Its Applications

Rewriting Logic and Its Applications

62,05 €*

Preise inkl. MwSt. zzgl. Versandkosten

Rewriting Logic and Its Applications

Rewriting Logic and Its Applications

62,05 €*

Preise inkl. MwSt. zzgl. Versandkosten

Software Architecture. ECSA 2024 Tracks and Workshops

Software Architecture. ECSA 2024 Tracks and Workshops

53,49 €*

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