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

0,00 €*

Home

JURISTISCHE LITERATUR

INFORMATIONEN

Wichtige Studienliteratur

Prüfungszugelassene Titel

AGB

Datenschutz

Kontakt

Impressum

Über Uns

Service

Home

JURISTISCHE LITERATUR
STUDIENLITERATUR
DATENBANKEN
BEHÖRDEN
BECK ONLINE
INFORMATIONEN

Zu "B-method" wurden 4 Produkte gefunden

Filter

Nur Neuerscheinungen

Springer Berlin (4)

Kartoniert / Broschiert (4)

Abrial, Jean-Raymond Glässer, Uwe (1)
Cavalcanti, Ana Dams, Dennis (1)
Derrick, John Gnesi, Stefania Latella, Diego Treharne, Helen (1)
Koutny, Maciej Desel, Jörg Haddad, Serge (1)

abstract state machines (1)
ad hoc networks (1)
algebraic Petri nets (1)
algorithm (1)
algorithm analysis and problem complexity (1)
Algorithms (1)
Analysis (1)
animation (1)
arithmetic (1)
B-method (4)
bounded storage model (1)
C programming language (1)
calculus (1)
communication protocols (1)
compiler (1)
complexity (1)
compliance checking (1)
computing power (1)
concurrency (1)
concurrency models (1)
constraint solving (1)
design (1)
distributed systems (1)
eternal security (1)
event-based method (1)
formal methods (1)
formal modeling (1)
formal specification (1)
hybrid methods (1)
model checking (2)
reconfigurable systems (1)
runtime model generation (1)

2009 (1)
2010 (1)
2012 (1)
2015 (1)

Englisch (4)

HOME

Integrated Formal Methods

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Rigorous Methods for Software Construction and Analysis

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Transactions on Petri Nets and Other Models of Concurrency X

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

FM 2009: Formal Methods

106,99 €*

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